Media type: Book; Conference Proceedings Title: Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992 ; proceedings Contributor: Bochmann, Gregor von [Hrsg.] Event: CAV imprint: Berlin; Heidelberg [u.a.]: Springer, 1993 Published in: Lecture notes in computer science ; 663 Extent: IX, 422 S.; graph. Darst Language: English ISBN: 3540564969; 0387564969 RVK notation: SS 4800 : Lecture notes in computer science ST 140 : Semantik von Programmiersprachen Keywords: Verifikation Programmverifikation > Verteiltes System Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: 93 8 14033 001 Item ID: 10016073 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order