Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1 - 4, 1991 ; proceedings / K. G. Larsen ... (eds.)

CAV ; 3 (Aalborg) : 1991.07.01-04

International Workshop on Computer Aided Verification ; 3 (Aalborg) : 1991.07.01-04

Englisch

Berlin [u.a.] : Springer, 1992

Online-Ressource (X, 487 S.)

Literaturangaben

Druckausg.: Computer aided verification. - Berlin : Springer, 1992. - X, 487 S

978-3-540-46763-2

Weitere Ausgaben: 3-540-55179-4 (Druckausgabe), 978-3-540-55179-9 (Druckausgabe)

DOI: 10.1007/3-540-55179-4

*Verifikation

*Computer science ; Computer Communication Networks ; Software engineering ; Logic design ; Logic, Symbolic and mathematical ; Computer software -- Verification -- Congresses ; Electronic digital computers -- Evaluation -- Congresses

*Computer Communication Networks ; Mathematical Logic and Formal Languages ; Computer Science ; Mathematical Logic and Foundations ; Logics and Meanings of Programs ; Special Purpose and Application-Based Systems

Klassifikation der Library of Congress: QA76.76.E93

Dewey Dezimal-Klassifikation: 511.3/0285;

Regensburger Verbund-Klassifikation: SS 4800: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / SS 4000-SS 5999 Schriftenreihen (indiv. Sign.) / Lecture notes in computer science

 

Online-Ausg.

Berlin [u.a.] : Springer, 2006

Berlin [u.a.] : Springer

Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.