Computer Aided Verification
10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
Autor:
Springer Berlin Heidelberg
Verlag:
Springer Berlin Heidelberg
Sprache:
English
Keine Beschreibung für das Buch
CHF 134.00
Preise inkl. MwSt. und Versandkosten (portofrei ab CHF 40.00)
Untertitel
10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
ISBN
978-3-540-64608-2
EAN
9783540646082
Erscheinungsjahr
6/3/1998
Edition
1998
Verlag
Springer Berlin Heidelberg
Sprache
English
Springer Berlin Heidelberg weitere Bücher
Proof Animals Have Souls
CHF 34.50
La 25e Heure
CHF 18.50
Social Media and Campus Politics
CHF 42.50
Crying in the Wilderness
CHF 34.50
I Love My Brain! (Brain-Boosting Exercis
CHF 21.50
Sloths Are So Stubborn!
CHF 32.90
Draußen backen
CHF 18.00
Changing Lanes (A Roxy Adams Mystery, #1
CHF 5.50
All New Official Minecraft Creative Hand
CHF 19.50
Children's Book Karay-A Trilingual
CHF 51.90
Die Schuld eines Vaters
CHF 3.50
A register of all the christninges, buri
CHF 35.50
Fright Night
CHF 17.90
The Politics of Economic Regulation in N
CHF 29.90
Between The Lines: A Condensed Treatise
CHF 40.90
A History of Nursing; the Evolution of N
CHF 37.50
March: 30 Postcards to Make Change and G
CHF 25.50
Fundamentals for the New Principalship
CHF 5.15
RIP. Band 1
CHF 11.00
Pripyat: The Chernobyl Ghost Town
CHF 12.50
German American Annals
CHF 30.50
Essays Explanatory And Experimental, Upo
CHF 38.50
Yolun Sonundaki Okyanus
CHF 23.90
Hidden Picture Puzzles
CHF 24.50
Color by Number Sheets for Little Kids -
CHF 28.90
The Booming Baritone Bell of England
CHF 52.90
In Conversation with the Mirror
CHF 17.50
Magnet. PfotenSchild / Glück anfassen
CHF 3.50
Roboterethik und Gefahren von Künstliche
CHF 13.00
A History of the United States for Famil
CHF 53.50
Bewertungen
0 Bewertungen
Anmeldung erforderlich