GERMAN

The Foundations of Program Verification

By Jacques Loeckx , Kurt Sieber (auth.)

Book information

Publisher
Vieweg+Teubner Verlag
Year
1987
ISBN
978-3-322-96754-1, 978-3-322-96753-4
DOI
10.1007/978-3-322-96753-4
Language
german
Format
PDF
Filesize
5 MB (5487607 bytes)
Series
Series in Computer Science
Edition
2
Pages
230\236
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Engineeringgeneral

Similar books

Internationales Wörterbuch der Lederwirtschaft / International Dictionary of the Leather and Allied Trades / Dictionnaire International des Cuirs et Peaux et de leurs Dérivés / Vocabulario Internacional de la Industria y del Comercio de Cueros / Vocabolario Internazionale dell’Industria e del Commercio del Cuoio / Международный кожевенно-технический словарь: Deutsch — Englisch — Französisch — Spanisch — Italienisch — Russisch / German — English — French — Spanish — Italian / Allemand — Anglais — Français — Espagnol — Italien / Alemán — Inglés — Francés — Español — Italiano / Tedesco — Inglese — Francese — Spagnolo — Italiano / на немецком — английском — французском — испанском итальянском — русском языках

Internationales Wörterbuch der Lederwirtschaft / International Dictionary of the Leather and Allied Trades / Dictionnaire International des Cuirs et Peaux et de leurs Dérivés / Vocabulario Internacional de la Industria y del Comercio de Cueros / Vocabolario Internazionale dell’Industria e del Commercio del Cuoio / Международный кожевенно-технический словарь: Deutsch — Englisch — Französisch — Spanisch — Italienisch — Russisch / German — English — French — Spanish — Italian / Allemand — Anglais — Français — Espagnol — Italien / Alemán — Inglés — Francés — Español — Italiano / Tedesco — Inglese — Francese — Spagnolo — Italiano / на немецком — английском — французском — испанском итальянском — русском языках

1968 · PDF