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

Reihe: Programming and Software Engineering

Anzeigen als
Seite:
pro Seite
absteigend

Produkte 491-500 von 578

  1. Tools for Practical Software Verification
    Tools for Practical Software Verification
    International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
    Bertrand Meyer, Martin Nordio
    Taschenbuch | Springer Berlin, 2012
    Lieferbar in 6 Werktagen
    € 50,60
  2. ECOOP 2009 -- Object-Oriented Programming
    ECOOP 2009 -- Object-Oriented Programming
    23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings
    Sophia Drossopoulou
    Taschenbuch | Springer Berlin, 2009
    Lieferbar in 6 Werktagen
    € 109,99
  3. Model Driven Engineering Languages and Systems
    Model Driven Engineering Languages and Systems
    14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings
    Jon Whittle, Tony Clark, Thomas Kühne
    Taschenbuch | Springer Berlin, 2011
    Lieferung in 7-14 Werktagen
    € 54,99
  4. Formal Aspects of Component Software
    Formal Aspects of Component Software
    9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
    Corina S Pasareanu, Gwen Salaün
    Taschenbuch | Springer Berlin, 2013
    Lieferbar in 6 Werktagen
    € 50,60
  5. ECOOP 2008 - Object-Oriented Programming
    ECOOP 2008 - Object-Oriented Programming
    22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings
    Jan Vitek
    Taschenbuch | Springer Berlin, 2008
    Lieferbar in 6 Werktagen
    € 109,99
  6. Web Services and Formal Methods
    Web Services and Formal Methods
    9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
    Maurice H. ter Beek, Niels Lohmann
    Taschenbuch | Springer Berlin, 2013
    Lieferbar in 6 Werktagen
    € 50,60
  7. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
    Doron A. Peled, Yih-Kuen Tsay
    Taschenbuch | Springer Berlin, 2005
    Lieferbar in 6 Werktagen
    € 54,99
  8. 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
  9. 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
  10. Verified Software: Theories, Tools, Experiments
    Verified Software: Theories, Tools, Experiments
    First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
    Bertrand Meyer, Jim Woodcock
    Taschenbuch | Springer Berlin, 2008
    Lieferbar in 6 Werktagen
    € 109,99
Anzeigen als
Seite:
pro Seite
absteigend

Produkte 491-500 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