Suchergebnisse für ""Nicolas Halbwachs""




Ähnliche Artikel


4th Refinement Workshop
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9¿11 January 1991, Cambridge
1st Edition
12. Juni 1991
Springer / Springer London / Springer, Berlin
978-3-540-19657-0

Programming and Mathematical Method
77,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Summer School
Softcover reprint of the original 1st ed. 1992
21. Dezember 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-77574-1

Formal Development of Reactive Systems
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Lewerentz
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Case Study Production Cell
1995.
26. Januar 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58867-2

Embedded Systems Design
79,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Bruno Bouyssounouse / Joseph Sifakis (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
The ARTIST Roadmap for Research and Development
2005
30. März 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11400707,978-3-540-25107-1

Applied Semantics
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Gilles Barthe / Peter Dybjer / Luis Pinto / Joao Saraiva (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
2002
21. August 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-44044-4

Compositionality, Concurrency, and Partial Correctness
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Job Zwiers
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Proof Theories for Networks of Processes, and Their Relationship
1989.
22. Februar 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-50845-8

Communicating Sequential Processes. The First 25 Years
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Ali E. Abdallah / Cliff B. Jones / Jeff W. Sanders (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
2005
3. Mai 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-25813-1

Verified Software. Theories, Tools, and Experiments
37,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International Conference, VSTTE 2018, Oxford, UK, July 18¿19, 2018, Revised Selected Papers
1st ed. 2018
24. November 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-030-03591-4

The Testability of Distributed Real-Time Systems
79,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Werner Schütz
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1993.
31. August 1993
Springer / Springer US / Springer, Berlin
978-0-7923-9386-3



Ähnlichkeitssuche: Fact®Finder von OMIKRON