होल्डिंग्स : An introduction to the PL/CV2 programming logic

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखकों:	Constable, Robert Lee, Eichenlaub, C. D., 19..- (लेखक), Johnson, S. D., 19..- (लेखक)
स्वरूप:	Livre numérique
भाषा:	Anglais
प्रकाशित:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
श्रृंखला:	Lecture notes in computer science 135
विषय:	Informatique Logiciels > Vérification Ordinateurs
ऑनलाइन पहुंच:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
टिप्पणी:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• An introduction to the PL/CV2 programming logic, R.L. Constable, S.D. Johnson, C.D. Eichenlaub, Berlin, Springer-Verlag, 1982, 1 vol. (x, 292 p.), Lecture notes in computer science, 3-540-11492-0 • An Introduction to the PL/CV2 Programming Logic, Texte imprimé, 9783662198599