Angebote zu "Formal" (623 Treffer)

Kategorien

Shops

Gnesi: Formal Methods for Industrial
119,59 € *
ggf. zzgl. Versand

Erscheinungsdatum: 11.12.2012, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Methods for Industrial, Autor: Gnesi // Margaria, Verlag: John Wiley & Sons, Sprache: Englisch, Schlagworte: COMPUTERS // Computer Engineering // Informatik, Rubrik: Informatik, Seiten: 294, Informationen: Paperback, Gewicht: 450 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 15.08.2020
Zum Angebot
Formal Techniques for Safety-Critical S
58,89 € *
ggf. zzgl. Versand

Erscheinungsdatum: 26.04.2020, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Techniques for Safety-Critical Systems, Titelzusatz: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers, Auflage: 1. Auflage von 1920 // 1st ed. 2020, Redaktion: Hasan, Osman // Mallet, Frédéric, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Netzwerk-Hardware // Algorithmen und Datenstrukturen // Informatik // Theoretische Informatik // Computermodellierung und // simulation // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 152, Informationen: Paperback, Gewicht: 242 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 15.08.2020
Zum Angebot
Structured Object-Oriented Formal Langu
64,29 € *
ggf. zzgl. Versand

Erscheinungsdatum: 20.02.2020, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Structured Object-Oriented Formal Language and Method, Titelzusatz: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, Auflage: 1. Auflage von 1920 // 1st ed. 2020, Redaktion: Duan, Zhenhua // Liu, Shaoying // Miao, Huaikou // Tian, Cong, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Betriebssysteme // Computernetzwerke und maschinelle Kommunikation // Informatik // Theoretische Informatik // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 376, Informationen: Paperback, Gewicht: 569 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 15.08.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: 15.08.2020
Zum Angebot
Lorenzen, Paul: Lógica Formal
107,19 € *
ggf. zzgl. Versand

Erscheinungsdatum: 31.12.1970, Medium: Buch, Einband: Gebunden, Titel: Lógica Formal, Auflage: Primera edición española. Reprint 2020, Autor: Lorenzen, Paul, Übersetzung: Mélida, Juan Ochoa, Verlag: De Gruyter // de Gruyter, Walter, GmbH, Sprache: Spanisch, Rubrik: Informatik, Seiten: 172, Informationen: HC runder Rücken kaschiert, Gewicht: 421 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 15.08.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: 15.08.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: 15.08.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: 15.08.2020
Zum Angebot
Lorca Velueta, E: Análisis de la educación ambi...
35,90 € *
ggf. zzgl. Versand

Erscheinungsdatum: 22.03.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Análisis de la educación ambiental en sus entornos formal y no formal, Titelzusatz: Dos entornos complementarios aplicando las TIC´s, Autor: Lorca Velueta, Edgar Martín, Verlag: EAE, Sprache: Spanisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 80, Informationen: Paperback, Gewicht: 136 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 15.08.2020
Zum Angebot