Angebote zu "Formal" (619 Treffer)

Kategorien

Shops

Formal Methods and Software Engineering
78,59 € *
ggf. zzgl. Versand

Erscheinungsdatum: 06.10.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Methods and Software Engineering, Titelzusatz: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Redaktion: Ait-Ameur, Yamine // Qin, Shengchao, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 552, Informationen: Paperback, Gewicht: 826 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 01.10.2020
Zum Angebot
Formal Methods and Software Engineering
78,69 € *
ggf. zzgl. Versand

Erscheinungsdatum: 06.10.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Methods and Software Engineering, Titelzusatz: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Redaktion: Ait-Ameur, Yamine // Qin, Shengchao, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 552, Informationen: Paperback, Gewicht: 826 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 01.10.2020
Zum Angebot
Rosa, João Luís: Essentials of Formal Languages...
71,90 € *
ggf. zzgl. Versand

Erscheinungsdatum: 23.09.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Essentials of Formal Languages and Automata, Autor: Rosa, João Luís, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 172, Informationen: Paperback, Gewicht: 275 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 01.10.2020
Zum Angebot
Lightfoot, David: Formal Specification using Z
63,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 06.12.2000, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Specification using Z, Auflage: 2nd ed. 2000, Autor: Lightfoot, David, Verlag: Macmillan Education UK // Macmillan Education, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Informatik, Rubrik: Informatik // EDV, Seiten: 180, Informationen: Paperback, Gewicht: 356 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 01.10.2020
Zum Angebot
Lightfoot, David: Formal Specification using Z
65,09 € *
ggf. zzgl. Versand

Erscheinungsdatum: 06.12.2000, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Specification using Z, Auflage: 2nd ed. 2000, Autor: Lightfoot, David, Verlag: Macmillan Education UK // Macmillan Education, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Informatik, Rubrik: Informatik // EDV, Seiten: 180, Informationen: Paperback, Gewicht: 356 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 01.10.2020
Zum Angebot
Formal Methods Teaching
56,89 € *
ggf. zzgl. Versand

Erscheinungsdatum: 16.10.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Methods Teaching, Titelzusatz: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Redaktion: Dongol, Brijesh // Petre, Luigia // Smith, Graeme, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 264, Informationen: Paperback, Gewicht: 406 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 01.10.2020
Zum Angebot
Formal Methods
45,59 € *
ggf. zzgl. Versand

Erscheinungsdatum: 25.07.2019, Medium: Buch, Einband: Gebunden, Titel: Formal Methods, Titelzusatz: An Appetizer, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Autor: Nielson, Flemming // Riis Nielson, Hanne, Verlag: Springer International Publishing // Springer International Publishing AG, Sprache: Englisch, Schlagworte: Betriebssystem // EDV // Operating System // Theorie // Informatik // Allgemeines // Software-Entw // Software Engineering // Mathematik // Computer // Betriebssysteme // Theoretische Informatik, Rubrik: Informatik, Seiten: 180, Informationen: HC runder Rücken kaschiert, Gewicht: 723 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 01.10.2020
Zum Angebot
Formal Grammar
48,59 € *
ggf. zzgl. Versand

Erscheinungsdatum: 05.08.2014, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Grammar, Titelzusatz: 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings, Auflage: 2014, Redaktion: Morrill, Glyn // Muskens, Reinhard // Osswald, Rainer // Richter, Frank, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Informatik // Theoretische Informatik // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 212, Informationen: Paperback, Gewicht: 330 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 01.10.2020
Zum Angebot
Formal Methods and Software Engineering
64,49 € *
ggf. zzgl. Versand

Erscheinungsdatum: 11.10.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Methods and Software Engineering, Titelzusatz: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, Redaktion: Sun, Jing // Sun, Meng, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Informatik // Informationstechnologie // IT // Technologie // Expertensystem // Wissensbasiertes System // Mathematik // Computer // Smartphone // Allgemeines // COMPUTERS // Software Development & Engineering // General // Informationstechnik // allgemeine Themen // IT-Zertifizierung // Systemanalyse und // design // Rechnerarchitektur und Logik-Entwurf // Theoretische Informatik // Mobiltelefone // Smartphones: Anwenderinformation, Rubrik: Informatik, Seiten: 474, Abbildungen: Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 11232), Informationen: Book, Gewicht: 744 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 01.10.2020
Zum Angebot