Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings (Lecture Notes in Computer Science, 818)
Product Description
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings (Lecture Notes in Computer Science, 818)
Technical Specifications
You might also like
Im The Middle Child Im The Reason We Have Rules Ceramic Mug, Dark Blue/White, 15oz
Engaging the Faith of Service Users to Support Change: A Practice Study Guide (Pastoral Care in Criminal and Social Justice Series)
Verhaal Eener Reis Naar Algiers En Van Een Driejarig Verblijf Op De Noordkust Van Afrika: Gedurende De Jaren 1831-1834 (1841) (Dutch Edition)
Ursachen der Arbeitslosigkeit in marktwirtschaftlichen Wirtschaftssystemen (German Edition)
Hybris- und Hochmutsphänomene der Älteren Tyrannis bei Herodot: Eine Analyse der Handlungen einzelner Tyrannen (German Edition)
Klimawandel und Sicherheit. Der aktuelle Forschungsstand (German Edition)
Die Europäisierung der Inneren Sicherheit: Der Raum der Freiheit, Sicherheit und des Rechts (German Edition)
Die sicherheits- und entwicklungspolitischen Herausforderungen des Klimawandels: Klimaflüchtlinge am Beispiel Afrika (German Edition)