Angebote zu "Bowen" (7 Treffer)

Kategorien

Shops

Industrial-Strength Formal Methods in Practice
144,09 € *
ggf. zzgl. Versand

Erscheinungsdatum: 17.09.1999, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Industrial-Strength Formal Methods in Practice, Auflage: 1999, Redaktion: Bowen, Jonathan P. // Hinchey, Michael G., Verlag: Springer London // Springer-Verlag London Ltd., Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Computerprogrammierung und Softwareentwicklung // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 420, Informationen: Paperback, Gewicht: 633 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 19.10.2020
Zum Angebot
Z User Workshop, London 1992
84,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 10.06.1993, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Z User Workshop, London 1992, Titelzusatz: Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992, Auflage: 1. Auflage von 1993 // 1st Edition, Redaktion: Bowen, J. P. // Nicholls, J. E., Verlag: Springer London // Springer Berlin, Sprache: Englisch, Schlagworte: Computerprogrammierung und Softwareentwicklung // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 360, Informationen: Paperback, Gewicht: 546 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 19.10.2020
Zum Angebot
Provably Correct Systems
109,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 25.03.2017, Medium: Buch, Einband: Gebunden, Titel: Provably Correct Systems, Redaktion: Hinchey, Mike // Bowen, Jonathan P. // Olderog, Ernst-Rüdiger, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Informatik // Allgemeines // Mathematik // Logik // MATHEMATICS // Logic // Computerprogrammierung und Softwareentwicklung // Rechnerarchitektur und Logik-Entwurf // Mathematik: Logik // Computernetzwerke und maschinelle Kommunikation, Rubrik: Informatik, Seiten: 328, Abbildungen: 50 schwarz-weiße Abbildungen, 20 schwarz-weiße Tabellen, Bibliographie, Reihe: NASA Monographs in Systems and Software Engineering, Informationen: Book, Gewicht: 714 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 19.10.2020
Zum Angebot
ZUM '98: The Z Formal Specification Notation
86,29 € *
ggf. zzgl. Versand

Erscheinungsdatum: 16.09.1998, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: ZUM '98: The Z Formal Specification Notation, Titelzusatz: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, Auflage: 1998, Redaktion: Bowen, Jonathan P. // Fett, Andreas // Hinchey, Michael G., Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Betriebssysteme // Computerprogrammierung und Softwareentwicklung // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 440, Informationen: Paperback, Gewicht: 654 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 19.10.2020
Zum Angebot
ZUM'97: The Z Formal Specification Notation
86,29 € *
ggf. zzgl. Versand

Erscheinungsdatum: 20.03.1997, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: ZUM'97: The Z Formal Specification Notation, Titelzusatz: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings, Auflage: 1997, Redaktion: Bowen, Jonathan P. // Hinchey, Michael G. // Till, David, Verlag: Springer Berlin Heidelberg // Springer-Verlag GmbH, Sprache: Englisch, Schlagworte: Algorithmus // EDV // Theorie // Software-Entw // Software Engineering // Mathematik // Betriebssysteme // Computerprogrammierung und Softwareentwicklung // Algorithmen und Datenstrukturen // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein, Rubrik: Informatik, Seiten: 452, Informationen: Paperback, Gewicht: 671 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 19.10.2020
Zum Angebot
ZB 2003: Formal Specification and Development i...
101,49 € *
ggf. zzgl. Versand

Erscheinungsdatum: 20.05.2003, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: ZB 2003: Formal Specification and Development in Z and B, Titelzusatz: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, Auflage: 2003, Redaktion: Bert, Didier // Bowen, Jonathan P. // King, Steve // Waldén, Marina, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Sprache // Formale Sprache // Betriebssysteme // Computerprogrammierung und Softwareentwicklung // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Programmiersprachen, Seiten: 568, Informationen: Paperback, Gewicht: 850 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 19.10.2020
Zum Angebot