Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : FMCAD 2002 (2002 ; Portland, Or.)
Titre(s) : Formal methods in computer-aided design [Texte électronique] : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings / Mark D. Aagaard, John W. O'Leary (eds.)
Publication : Berlin ; New York : Springer, cop. 2002
Description matérielle : 1 online resource (xi, 398 pages)
Collection : Lecture notes in computer science ; 2517
Note(s) : Includes bibliographical references and index
This book constitutes the refereed proceedings of the 4th International Conference
on Formal Methods in Computer-Aided Design, FMCAD 2002, held in Portland, OR, USA
in November 2002. The 23 revised full papers presented were carefully reviewed and
selected from 47 submissions. The book offers topial sections on abstraction, symbolic
simulation, model checking, microprocessor specification and verification, decision
procedures, verification techniques and methodology, hardware description languages,
and prototyping and synthesis
Autre(s) auteur(s) : Aagaard, Mark (1966-....). Fonction indéterminée
O'Leary, John W.. Fonction indéterminée
Sujet(s) : Génie logiciel
Électrotechnique
Conception assistée par ordinateur
Informatique
Méthodes formelles (informatique)
Logique mathématique
Ordinateurs
Indice(s) Dewey :
621.392 (23e éd.) = Analyse et conception des systèmes, architecture des ordinateurs (génie informatique)
Identifiants, prix et caractéristiques : ISBN 9783540361268
Identifiant de la notice : ark:/12148/cb44687307n
Notice n° :
FRBNF44687307
(notice reprise d'un réservoir extérieur)