Toggle Nav
Menu
  • Home
  • Reihe: Lecture Notes in Computer Science

Reihe: Lecture Notes in Computer Science

Anzeigen als
Seite:
pro Seite
absteigend

Produkte 1361-1370 von 3885

  1. KORSO: Methods, Languages, and Tools for the Construction of Correct Software
    KORSO: Methods, Languages, and Tools for the Construction of Correct Software
    Final Report
    Manfred Broy, Stefan Jähnichen
    Taschenbuch | Springer Berlin, 1995
    Lieferbar in 6 Werktagen
    € 54,99
  2. Combinatorics on Traces
    Combinatorics on Traces
    Volker Diekert
    Taschenbuch | Springer Berlin, 1990
    Lieferbar in 6 Werktagen
    € 54,99
  3. Computer Science Logic
    Computer Science Logic
    17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
    Matthias Baaz, Johann M. Makowsky
    Taschenbuch | Springer Berlin, 2003
    Lieferbar in 6 Werktagen
    € 109,99
  4. Model-Based Testing of Reactive Systems
    Model-Based Testing of Reactive Systems
    Advanced Lectures
    Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
    Taschenbuch | Springer Berlin, 2005
    Lieferung in 2-5 Werktagen
    € 54,99
  5. Modular Compiler Verification
    Modular Compiler Verification
    A Refinement-Algebraic Approach Advocating Stepwise Abstraction
    Markus Müller-Olm
    Taschenbuch | Springer Berlin, 1997
    Lieferbar in 6 Werktagen
    € 54,99
  6. VDM '87. VDM - A Formal Method at Work
    VDM '87. VDM - A Formal Method at Work
    VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
    Dines Bjørner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuhold
    Taschenbuch | Springer Berlin, 1987
    Lieferbar in 6 Werktagen
    € 54,99
  7. Formal Aspects of Security
    Formal Aspects of Security
    First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
    Ali E. Abdallah, Peter Ryan, Steve Schneider
    Taschenbuch | Springer Berlin, 2003
    Lieferbar in 6 Werktagen
    € 54,99
  8. Detection of Intrusions and Malware, and Vulnerability Assessment
    Detection of Intrusions and Malware, and Vulnerability Assessment
    4th International Conference, DIMVA 2007 Lucerne, Switzerland, July 12-13, 2007 Proceedings
    Bernhard Hämmerli, Robin Sommer
    Taschenbuch | Springer Berlin, 2007
    Lieferbar in 6 Werktagen
    € 54,99
  9. Algorithm Theory - SWAT'98
    Algorithm Theory - SWAT'98
    6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998, Proceedings
    Stefan Arnborg, Lars Ivansson
    Taschenbuch | Springer Berlin, 1998
    Lieferbar in 6 Werktagen
    € 54,99
  10. RIMS Symposium on Software Science and Engineering II
    RIMS Symposium on Software Science and Engineering II
    Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
    Eiichi Goto, Keijiro Araki, Taiichi Yuasa
    Taschenbuch | Springer Berlin, 1986
    Lieferbar in 6 Werktagen
    € 54,99
Anzeigen als
Seite:
pro Seite
absteigend

Produkte 1361-1370 von 3885

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