Suchergebnisse für "Alan J. Hu / Andrew K. Martin (eds.)"




Ähnliche Artikel


Formal Methods in Computer-Aided Design
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Srivas
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
1996.
23. Oktober 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61937-6

Application and Theory of Petri Nets 2000
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Mogens Nielsen / Dan Simpson (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings
2000.
14. Juni 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10721145,978-3-540-67693-5

Formal Methods for the Design of Real-Time Systems
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Marco Bernardo / Flavio Corradini (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
2004
1. September 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11315995,978-3-540-23068-7

Tools and Algorithms for the Construction and Analysis of Systems
77,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Susanne Graf / Michael Schwartzbach (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
2000.
15. März 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10719978,978-3-540-67282-1

Tools and Algorithms for the Construction and Analysis of Systems
77,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Hubert Garavel / John Hatcliff (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
2003
14. März 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00898-9

Computer Aided Verification
77,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
E. Allen Emerson / A. Prasad Sistla (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings
2000.
28. Juni 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-67770-3

Teaching Formal Methods
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
C. Neville Dean / Raymond T. Boute (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
2004
17. November 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11339786,978-3-540-23611-5

Formal Methods in Computer-Aided Design
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Gopalakrishnan
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
1998.
21. Oktober 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10692817,978-3-540-65191-8

Hybrid Systems: Computation and Control
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Nancy Lynch / Bruce Krogh (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings
2000.
13. März 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10720042,978-3-540-67259-3

Hybrid Systems: Computation and Control
77,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Maria D. Di Benedetto / Alberto L. Sangiovanni-Vincentelli (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings
2001
14. März 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-41866-5



Ähnlichkeitssuche: Fact®Finder von OMIKRON