Angebote zu "Validation" (72 Treffer)

Kategorien

Shops [Filter löschen]

Lengyel, László: Online Validation of Visual Mo...
68,00 € *
ggf. zzgl. Versand

Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Online Validation of Visual Model Transformations, Titelzusatz: Validating graph rewriting-based visual model transformations, Autor: Lengyel, László, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Schlagworte: Informatik, Rubrik: Informatik, Seiten: 180, Informationen: Paperback, Gewicht: 284 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 14.12.2019
Zum Angebot
Petri-Netz-Methoden und -Werkzeuge
54,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 14.12.1988, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Petri-Netz-Methoden und -Werkzeuge, Titelzusatz: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen, Autor: Eggert, Horst // Leszak, Marek, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Deutsch, Schlagworte: Betriebssysteme // Informatik // Theoretische Informatik // Systemanalyse und // design, Rubrik: Informatik, Seiten: 272, Informationen: Paperback, Gewicht: 475 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 14.12.2019
Zum Angebot
Validation of Evolving Software
107,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 10.07.2015, Medium: Buch, Einband: Gebunden, Titel: Validation of Evolving Software, Redaktion: Chockler, Hana // Kroening, Daniel // Mariani, Leonardo // Sharygina, Natasha, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Programmiersprachen // COMPUTERS // Software Development & Engineering // General // Rechnerarchitektur und Logik-Entwurf // Programmier // und Skriptsprachen // allgemein, Rubrik: Informatik, Seiten: 220, Abbildungen: Bibliographie, Herkunft: NIEDERLANDE (NL), Informationen: Book, Gewicht: 483 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 14.12.2019
Zum Angebot
Lafrance, Stéphane: Spécification et validation...
59,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 09/2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Spécification et validation de protocoles de sécurité, Autor: Lafrance, Stéphane, Verlag: Editions universitaires europeennes EUE, Sprache: Französisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 200, Informationen: Paperback, Gewicht: 314 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 14.12.2019
Zum Angebot
Ali, Mouez: Vérification et validation formelle...
69,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 12/2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Vérification et validation formelles de modèles UML, Titelzusatz: Approches et outils, Autor: Ali, Mouez, Verlag: Editions universitaires europeennes EUE, Sprache: Französisch, Rubrik: Informatik, Seiten: 240, Informationen: Paperback, Gewicht: 378 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 14.12.2019
Zum Angebot
Leveraging Applications of Formal Methods, Veri...
104,39 € *
ggf. zzgl. Versand

Erscheinungsdatum: 06.10.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, Titelzusatz: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Auflage: 1. Auflage von 2016 // 1st ed. 2016, Redaktion: Margaria, Tiziana // Steffen, Bernhard, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering, Rubrik: Informatik, Seiten: 1000, Informationen: Paperback, Gewicht: 1520 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 14.12.2019
Zum Angebot
Nano, Quantum and Molecular Computing
160,09 € *
ggf. zzgl. Versand

Erscheinungsdatum: 07.12.2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Nano, Quantum and Molecular Computing, Titelzusatz: Implications to High Level Design and Validation, Auflage: Softcover reprint of the original 1st ed. 2004, Redaktion: Bahar, R. Iris // Shukla, Sandeep Kumar, Verlag: Springer US // Springer US, New York, N.Y., Sprache: Englisch, Schlagworte: Elektrotechnik // Computer-Aided Design // CAD // Informatik // Theoretische Informatik, Rubrik: Informatik, Seiten: 380, Informationen: Paperback, Gewicht: 575 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 14.12.2019
Zum Angebot
Montrucchio, L: Text Summarization for Knowledg...
59,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 04/2012, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Text Summarization for Knowledge Inference and Biological Validation, Titelzusatz: The BioSumm approach, Autor: Montrucchio, Lorenzo, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 140, Informationen: Paperback, Gewicht: 225 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 14.12.2019
Zum Angebot
Khalgui, Mohamed: Application de Contrôle Indus...
49,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 10/2012, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Application de Contrôle Industriel à base de Composants, Titelzusatz: Validation Temporelle et Déploiement, Autor: Khalgui, Mohamed, Verlag: PAF, Sprache: Französisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 160, Informationen: Paperback, Gewicht: 255 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 14.12.2019
Zum Angebot