Normal view MARC view ISBD view

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings / Warren A. Hunt, Jr., Steven D. Johnson, eds

Auteur principal collectivité : FMCAD 2000, 2000, AuteurAuteur secondaire : : Hunt, Warren A., 1958-;Johnson, Steven D., Steven DexterAuteur secondaire collectivité : International Conference on Formal Methods in Computer Aided Design, 3rd, 2000Publication : New York : Springer, 2000Description : p. cm.ISBN : 3-540-41219-0.Collections : Lecture notes in computer science, 1954Dewey: 621.39/2, 21Classification : B.1.2 ; B.1.4 ; B.2.2-3 ; B.6.2-3 ; B.7.2-3 ; F.3.1 ; F.4.1 ; I.2.3 ; D.2.4 ; J.6Bibliographie: Includes index..Sujet - Nom d'actualité : Ordinateurs -- Conception et construction ;Circuits intégrés -- Vérification (épistémologie) -- Congrès Sujet : SPECIFICATION ;Preuve automatique ;Modèl Checking
Current location Call number Status Date due Barcode
Centre de recherche en informatique
AUS 00 Sur demande CRI04547D

Includes index.

Powered by Koha