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

Reihe: Programming and Software Engineering

Anzeigen als
Seite:
pro Seite
absteigend

Produkte 311-320 von 581

  1. Tests and Proofs
    Tests and Proofs
    First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
    Bertrand Meyer, Yuri Gurevich
    Taschenbuch | Springer Berlin, 2007
    Lieferbar in 6 Werktagen
    € 54,99
  2. Runtime Verification
    Runtime Verification
    8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
    Martin Leucker
    Taschenbuch | Springer Berlin, 2008
    Lieferbar in 6 Werktagen
    € 54,99
  3. Object-Oriented Technology. ECOOP 2008 Workshop Reader
    Object-Oriented Technology. ECOOP 2008 Workshop Reader
    ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports
    Patrick Eugster
    Taschenbuch | Springer Berlin, 2009
    Lieferbar in 6 Werktagen
    € 54,99
  4. Formal Techniques for Distributed Systems
    Formal Techniques for Distributed Systems
    Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings
    Roberto Bruni, Juergen Dingel
    Taschenbuch | Springer Berlin, 2011
    Lieferung in 7-14 Werktagen
    € 54,99
  5. Software Architecture
    Software Architecture
    2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings
    Ron Morrison, Flavio Oquendo
    Taschenbuch | Springer Berlin, 2005
    Lieferbar in 6 Werktagen
    € 54,99
  6. Formal Verification of Object-Oriented Software
    Formal Verification of Object-Oriented Software
    International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
    Bernhard Beckert, Claude Marché
    Taschenbuch | Springer Berlin, 2011
    Lieferung in 7-14 Werktagen
    € 54,99
  7. Formal Methods for Components and Objects
    Formal Methods for Components and Objects
    9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
    Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue
    Taschenbuch | Springer Berlin, 2011
    Lieferung in 7-14 Werktagen
    € 54,99
  8. Interactive Systems. Design Specification, and Verification
    Interactive Systems. Design Specification, and Verification
    12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
    Stephen W. Gilroy, Michael D. Harrison
    Taschenbuch | Springer Berlin, 2006
    Lieferung in 7-14 Werktagen
    € 54,99
  9. Models in Software Engineering
    Models in Software Engineering
    Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
    Holger Giese
    Taschenbuch | Springer Berlin, 2008
    Lieferbar in 6 Werktagen
    € 54,99
  10. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
    Susanne Graf, Wenhui Zhang
    Taschenbuch | Springer Berlin, 2006
    Lieferbar in 6 Werktagen
    € 54,99
Anzeigen als
Seite:
pro Seite
absteigend

Produkte 311-320 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