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

Reihe: Programming and Software Engineering

Anzeigen als
Seite:
pro Seite
absteigend

Produkte 221-230 von 578

  1. Functional and Logic Programming
    Functional and Logic Programming
    8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
    Masami Hagiya, Philip Wadler
    Taschenbuch | Springer Berlin, 2006
    Lieferung in 7-14 Werktagen
    € 54,99
  2. Formal Methods for Components and Objects
    Formal Methods for Components and Objects
    6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
    Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
    Taschenbuch | Springer Berlin, 2008
    Lieferbar in 6 Werktagen
    € 54,99
  3. Computer Safety, Reliability, and Security
    Computer Safety, Reliability, and Security
    28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
    Bettina Buth, Gerd Rabe, Till Seyfarth
    Taschenbuch | Springer Berlin, 2009
    Lieferbar in 6 Werktagen
    € 54,99
  4. Formal Approaches to Software Testing
    Formal Approaches to Software Testing
    5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
    Wolfgang Grieskamp, Carsten Weise
    Taschenbuch | Springer Berlin, 2006
    Lieferbar in 6 Werktagen
    € 54,99
  5. Grid and Cooperative Computing - GCC 2005
    Grid and Cooperative Computing - GCC 2005
    4th International Conference, Beijing, China, November 30 -- December 3, 2005, Proceedings
    Hai Zhuge, Geoffrey C. Fox
    Taschenbuch | Springer Berlin, 2005
    Lieferung in 7-14 Werktagen
    € 164,99
  6. Static Analysis
    Static Analysis
    19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
    Antoine Mine, David Schmidt
    Taschenbuch | Springer Berlin, 2012
    Lieferbar in 6 Werktagen
    € 54,99
  7. Unifying the Software Process Spectrum
    Unifying the Software Process Spectrum
    International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers
    Mingshu Li, Barry Boehm, Leon J. Osterweil
    Taschenbuch | Springer Berlin, 2006
    Lieferung in 7-14 Werktagen
    € 54,99
  8. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
    Ahmed Bouajjani, Wei-Ngan Chin
    Taschenbuch | Springer Berlin, 2010
    Lieferung in 7-14 Werktagen
    € 54,99
  9. Formal Methods: Foundations and Applications
    Formal Methods: Foundations and Applications
    14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
    Adenilso Simao, Carroll Morgan
    Taschenbuch | Springer Berlin, 2011
    Lieferung in 7-14 Werktagen
    € 54,99
  10. Verified Software: Theories, Tools, Experiments
    Verified Software: Theories, Tools, Experiments
    4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
    Rajeev Joshi, Peter Müller, Andreas Podelski
    Taschenbuch | Springer Berlin, 2012
    Lieferung in 7-14 Werktagen
    € 54,99
Anzeigen als
Seite:
pro Seite
absteigend

Produkte 221-230 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