Toggle Nav
Menu
  • Home
  • Reihe: Programming and Software Engineering

Reihe: Programming and Software Engineering

Anzeigen als
Seite:
pro Seite
absteigend

Produkte 571-580 von 581

  1. Formal Techniques for Distributed Systems
    Formal Techniques for Distributed Systems
    Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
    John Hatcliff, Elena Zucca
    Taschenbuch | Springer Berlin, 2010
    Lieferung in 7-14 Werktagen
    € 54,99
  2. B 2007: Formal Specification and Development in B
    B 2007: Formal Specification and Development in B
    7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
    Jacques Julliand, Olga Kouchnarenko
    Taschenbuch | Springer Berlin, 2006
    Lieferbar in 6 Werktagen
    € 54,99
  3. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
    Kerstin Eder, João Lourenҫo, Onn Shehory
    Taschenbuch | Springer Berlin, 2012
    Lieferbar in 6 Werktagen
    € 50,60
  4. Programming Languages and Systems
    Programming Languages and Systems
    4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
    Naoki Kobayashi
    Taschenbuch | Springer Berlin, 2006
    Lieferung in 7-14 Werktagen
    € 54,99
  5. Task Models and Diagrams for Users Interface Design
    Task Models and Diagrams for Users Interface Design
    5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers
    Karin Coninx, Kris Luyten, Kevin A. Schneider
    Taschenbuch | Springer Berlin, 2007
    Lieferung in 7-14 Werktagen
    € 54,99
  6. Advances in Rule Interchange and Applications
    Advances in Rule Interchange and Applications
    International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings
    Adrian Paschke, Yevgen Biletskiy
    Taschenbuch | Springer Berlin, 2007
    Lieferung in 7-14 Werktagen
    € 54,99
  7. Software Engineering for Resilient Systems
    Software Engineering for Resilient Systems
    5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings
    Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko
    Taschenbuch | Springer Berlin, 2013
    Lieferbar in 6 Werktagen
    € 50,60
  8. FM 2009: Formal Methods
    FM 2009: Formal Methods
    Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
    Ana Cavalcanti, Dennis Dams
    Taschenbuch | Springer Berlin, 2009
    Lieferung in 7-14 Werktagen
    € 109,99
  9. Formal Approaches to Software Testing and Runtime Verification
    Formal Approaches to Software Testing and Runtime Verification
    First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
    Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
    Taschenbuch | Springer Berlin, 2006
    Lieferbar in 6 Werktagen
    € 54,99
  10. NASA Formal Methods
    NASA Formal Methods
    Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
    Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi
    Taschenbuch | Springer Berlin, 2011
    Lieferung in 7-14 Werktagen
    € 54,99
Anzeigen als
Seite:
pro Seite
absteigend

Produkte 571-580 von 581

Unsere Prinzipien

  • kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • alle FALTER-Produkte und Abos, nur hier!
  • als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
  • hohe Sicherheit durch SSL-Verschlüsselung (RSA 2048 bit)
  • keine Weitergabe personenbezogener Daten an Dritte

Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.

Abbrechen Weiter einkaufen