Titre : Verification : theory and practice : essays dedicaced to Zohar Manna on the occasion of his 64th birthday


Nachum Dershowitz (1951-....). Editeur scientifique
Berlin Heidelberg New York
Springer
cop.2003
XV-782 p. : couv. ill. en coul., 1 portr. ; 24 cm

xx Langages de programmation-- Sémantique
xx Logique temporelle
xx Programmation orientée objets (informatique)
xx Logiciels-- Vérification
3-540-21002-4

Contient des notes bibliogr. Index

Exemplaires

Powered by Koha

LocalisationCoteSituation
Centre de recherche en informatique   DER