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

Reihe: Programming and Software Engineering

Anzeigen als
Seite:
pro Seite
absteigend

Produkte 1-10 von 578

  1. Language Engineering and Rigorous Software Development
    Language Engineering and Rigorous Software Development
    International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
    Ana Bove, Luis Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto
    Taschenbuch | Springer Berlin, 2009
    Lieferbar in 6 Werktagen
    € 54,99
  2. Tests and Proofs
    Tests and Proofs
    7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
    Margus Veanes, Luca Vigano
    Taschenbuch | Springer Berlin, 2013
    Lieferbar in 6 Werktagen
    € 50,60
  3. Formal Techniques for Distributed Systems
    Formal Techniques for Distributed Systems
    Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
    Holger Giese, Grigore Rosu
    Taschenbuch | Springer Berlin, 2012
    Lieferbar in 6 Werktagen
    € 54,99
  4. All About Maude - A High-Performance Logical Framework
    All About Maude - A High-Performance Logical Framework
    How to Specify, Program, and Verify Systems in Rewriting Logic
    Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott
    Mehrteiliges Produkt, mit Beigabe | Springer Berlin, 2007
    Lieferung in 7-14 Werktagen
    € 98,99
  5. Computer Safety, Reliability, and Security
    Computer Safety, Reliability, and Security
    26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings
    Francesca Saglietti, Norbert Oster
    Taschenbuch | Springer Berlin, 2007
    Lieferbar in 6 Werktagen
    € 54,99
  6. Web Services and Formal Methods
    Web Services and Formal Methods
    4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings
    Marlon Dumas, Reiko Heckel
    Taschenbuch | Springer Berlin, 2008
    Lieferbar in 6 Werktagen
    € 54,99
  7. Formal Methods and Software Engineering
    Formal Methods and Software Engineering
    12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
    Jin Song Dong, Huibiao Zhu
    Taschenbuch | Springer Berlin, 2010
    Lieferung in 7-14 Werktagen
    € 109,99
  8. Product Focused Software Process Improvement
    Product Focused Software Process Improvement
    6th International Conference, PROFES 2005, Oulu, Finland, June 13-18, 2005, Proceedings
    Frank Bomarius, Seija Komi-Sirviö
    Taschenbuch | Springer Berlin, 2005
    Lieferbar in 6 Werktagen
    € 109,99
  9. Rule Interchange and Applications
    Rule Interchange and Applications
    International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings
    Adrian Paschke, Guido Governatori, John Hall
    Taschenbuch | Springer Berlin, 2009
    Lieferbar in 6 Werktagen
    € 54,99
  10. FM 2012: Formal Methods
    FM 2012: Formal Methods
    18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
    Dimitra Giannakopoulou, Dominique Mery
    Taschenbuch | Springer Berlin, 2012
    Lieferbar in 6 Werktagen
    € 54,99
Anzeigen als
Seite:
pro Seite
absteigend

Produkte 1-10 von 578

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