Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Titre(s) : Verification [Texte électronique] : theory and practice : essays delivered to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.)
Publication : Berlin ; New York : Springer-Verlag, cop. 2003
Description matérielle : 1 online resource (xv, 782 pages)
Collection : Lecture notes in computer science ; 2772
Note(s) : Includes bibliographical references and index
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion
of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles
span the entire scope of the logical half of computer science. Also included is a
paean to Zohar Manna by the volume editor. The articles presented are devoted to the
theory of computing, program semantics, logics of programs, temporal logic, automated
deduction, decision procedures, model checking, concurrent systems, reactive systems,
hardware and software verification, testing, software engineering, requirements specification,
and program synthesis
Autre(s) auteur(s) : Dershowitz, Nachum (1951-....). Fonction indéterminée
Manna, Zohar (1939-2018). Fonction indéterminée
Sujet(s) : Génie logiciel
Informatique
Langages de programmation -- Sémantique
Logiciels -- Vérification
Langages de programmation
Logique mathématique
Programmation orientée objets (informatique)
Logique temporelle
Indice(s) Dewey :
005.14 (23e éd.) = Programmation (informatique) - Vérification, tests, mesures, débogage
Identifiants, prix et caractéristiques : ISBN 9783540399100
Identifiant de la notice : ark:/12148/cb446898065
Notice n° :
FRBNF44689806
(notice reprise d'un réservoir extérieur)