Verifying Concurrent Processes Using Temporal Logic
Autor:
Springer Berlin Heidelberg
Verlag:
Springer Berlin Heidelberg
Sprache:
English
Keine Beschreibung für das Buch
CHF 69.00
Preise inkl. MwSt. und Versandkosten (portofrei ab CHF 40.00)
ISBN
978-3-540-11205-1
EAN
9783540112051
Erscheinungsjahr
3/1/1982
Edition
1982
Verlag
Springer Berlin Heidelberg
Author
Hailpern, B. T.
Sprache
English
Springer Berlin Heidelberg weitere Bücher
Justiz und Öffentlichkeit
CHF 27.90
Investigación científica sobre el argán
CHF 88.00
Como construir um melhor professor
CHF 65.00
Aceitar a mudança e os novos começos
CHF 65.00
Shema dostizheniq uspeha w biznese kiber
CHF 34.50
Westrom
CHF 36.90
Phantom Drift 8: Hidden Planets, Monster
CHF 23.90
Christian Science History
CHF 19.90
Nachhaltigkeitsreporting im Lebensmittel
CHF 68.00
ABCs of Art: A Book of Art Terms from a
CHF 18.50
Mineraller ve Degerli Taslar
CHF 18.50
Exercícios de Ondas, Óptica e Eletromagn
CHF 11.50
Wald und Meer und Herbst und Du
CHF 23.90
Der Löwe in Hartmanns Iwein. Eine Analys
CHF 24.90
Verbreitung von Mobiltelefonen, finanzie
CHF 78.00
Wut und Persönlichkeit bei der Arbeit. G
CHF 24.90
Guy Garrick; Craig Kennedy, Scientific D
CHF 65.00
Hoohahs And Cat Calls
CHF 27.90
Birds and Poets; With Other Papers
CHF 89.00
The Raven - Bilingual Edition
CHF 36.90
LA BANDE ROUGE
CHF 35.50
Ramazan Günlügüm
CHF 16.90
Raison et sentiments
CHF 20.50
Pastor and People
CHF 89.00
So gelingt jeder Hausbau
CHF 27.90
Theistic Philosophy of Tagore and Iqbal
CHF 65.00
Fundamentalist Distortions on Bible Vers
CHF 21.90
It Doesn't Suck
CHF 21.50
Use Your Brain Raise Your Game
CHF 27.50
Bolivia Beyond the Impasse
CHF 18.50
Bewertungen
0 Bewertungen
Anmeldung erforderlich