Suchergebnisse für ""Agostino Cortesi""




Ähnliche Artikel


Verified Software: Theories, Tools, and Experiments
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
1st ed. 2016
29. Januar 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-29612-8

Dependable Computing EDCC-4
41,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Fabrizio Grandoni (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings
2002
14. Oktober 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00012-9

Relational and Algebraic Methods in Computer Science
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
1st ed. 2015
19. November 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-24703-8

Theory and Practice of Model Transformations
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings
2008
17. Juni 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12324378,978-3-540-69926-2

Temporal Logic and State Systems
71,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Fred Kröger
Stephan Merz
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2008
27. März 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
10725212,978-3-540-67401-6

Interactive Systems: Design, Specification, and Verification
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Peter Forbrig / Bodo Urban / Jean Vanderdonckt / Quentin Limbourg (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002
2002
19. Dezember 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00266-6

Computing and Software Science
22,99 €
Versandfertig in 6-10 Tagen
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
State of the Art and Perspectives
1st ed. 2019
5. Oktober 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-319-91907-2

Formal Methods - Fun for Everybody
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers
1st ed. 2021
11. März 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-71373-7

High Integrity Software
125,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Victor L. Winter / Sourav Bhattacharya (eds.)
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2001
31. Mai 2001
Springer / Springer US / Springer, Berlin
978-0-7923-7949-2

Workload Characterization for Computer System Design
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Lizy Kurian John / Ann Marie Grizzaffi Maynard (Hgg.)
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2000.
31. März 2000
Springer / Springer US / Springer, Berlin
978-0-7923-7777-1



Ähnlichkeitssuche: Fact®Finder von OMIKRON