Normal view MARC view ISBD view

Verification [] : theory and practice : essays dedicaced to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.)

Auteur secondaire : : Dershowitz, Nachum, 1951-...., Editeur scientifiqueTitre uniforme : Mélanges : Manna / ZoharPublication : Berlin, Heidelberg, New York : Springer, cop.2003Description : XV-782 p. : couv. ill. en coul., 1 portr. ; 24 cmISBN : 3-540-21002-4.Bibliographie: Contient des notes bibliogr. Index.Sujet - Nom d'actualité : Langages de programmation -- Sémantique ;Logique temporelle ;Programmation orientée objets (informatique) ;Logiciels -- Vérification Sujet : SEMANTIQUE ;MACHINE A ETAT ;LOGIQUE TEMPORELLE ;INTERPRETATION ABSTRAITE ;Modèl Checking ;Preuve de programme Sujet Catégorie : H-INF.TH
Current location Call number Status Date due Barcode
Centre de recherche en informatique
DER Sur demande CRI05638D

Contient des notes bibliogr. Index

Powered by Koha