Angebote zu "Verifikation" (59 Treffer)

Kategorien

Shops

Programmentwicklung und Verifikation (Springers...
32,79 € *
zzgl. 3,99 € Versand
Anbieter: reBuy
Stand: 29.05.2020
Zum Angebot
Test, Analyse und Verifikation von Software - g...
29,90 € *
ggf. zzgl. Versand

Erscheinungsdatum: 06.11.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Test, Analyse und Verifikation von Software - gestern, heute, morgen, Redaktion: Spillner, Andreas // Winter, Mario // Pietschker, Andrej, Verlag: Dpunkt.Verlag GmbH // dpunkt, Sprache: Deutsch, Schlagworte: EDV // Theorie // Software-Entw // Testmethoden // Informationstechnologie // IT // Technologie // COMPUTERS // Software Development & Engineering // Tools // Informationstechnik // allgemeine Themen, Rubrik: Informatik // EDV, Sonstiges, Seiten: 208, Gewicht: 424 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 29.05.2020
Zum Angebot
Pacholik, Alexander: Verifikation von ausführba...
98,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 01/2011, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verifikation von ausführbaren Systemspezifikationen, Titelzusatz: Entwicklung und Gegenüberstellung von Methoden zur automatisierten Verifikation von ausführbaren Systemspezifikationen, Autor: Pacholik, Alexander, Verlag: Südwestdeutscher Verlag, Sprache: Deutsch, Rubrik: Informatik, Seiten: 236, Informationen: Paperback, Gewicht: 368 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 29.05.2020
Zum Angebot
Damm, Werner: Entwurf und Verifikation mikropro...
54,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 23.09.1987, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen, Auflage: 1987, Autor: Damm, Werner, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Deutsch, Schlagworte: Algorithmen und Datenstrukturen, Rubrik: Informatik, Seiten: 340, Informationen: Paperback, Gewicht: 588 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 29.05.2020
Zum Angebot
Petrinetze, lineare Algebra und lineare Program...
44,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 01.05.1998, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Petrinetze, lineare Algebra und lineare Programmierung, Titelzusatz: Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen, Auflage: 1998, Verlag: Vieweg+Teubner Verlag // Vieweg & Teubner, Sprache: Deutsch, Schlagworte: Lineare Programmierung // Petri-Netz // Verifikation // verifizieren, Rubrik: Informatik, Seiten: 140, Informationen: Paperback, Gewicht: 256 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 29.05.2020
Zum Angebot
Siegl, S: Spezifikation und Verifikation von ei...
27,85 € *
ggf. zzgl. Versand

Erscheinungsdatum: 15.12.2011, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen, Auflage: Reihenbandnummer 52, Autor: Siegl, Sebastian, Verlag: Cuvillier Verlag, Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 162, Reihe: Audi Dissertationsreihe (Nr. 52), Gewicht: 235 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 29.05.2020
Zum Angebot
Spillner:Test, Analyse und Verifikation
29,90 € *
ggf. zzgl. Versand

Erscheinungsdatum: 06.11.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Test, Analyse und Verifikation von Software - gestern, heute, morgen, Redaktion: Spillner, Andreas // Winter, Mario // Pietschker, Andrej, Verlag: Dpunkt.Verlag GmbH // dpunkt, Sprache: Deutsch, Schlagworte: EDV // Theorie // Software-Entw // Testmethoden // Informationstechnologie // IT // Technologie // COMPUTERS // Software Development & Engineering // Tools // Informationstechnik // allgemeine Themen, Rubrik: Informatik // EDV, Sonstiges, Seiten: 208, Gewicht: 424 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 29.05.2020
Zum Angebot
Müller, Jens: Strukturbasierte Verifikation von...
69,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 05.04.2011, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Strukturbasierte Verifikation von BPMN-Modellen, Auflage: 2011, Autor: Müller, Jens, Verlag: Vieweg+Teubner Verlag // Vieweg & Teubner, Sprache: Deutsch, Schlagworte: Geschäftsprozess // Simulation // Simulator // Informatik // Wirtschaftsinformatik // Wirtschaft // Unternehmensanwendungen, Rubrik: Informatik, Seiten: 196, Informationen: Paperback, Gewicht: 287 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 29.05.2020
Zum Angebot
Futschek, Gerald: Programmentwicklung und Verif...
69,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 23.03.1989, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Programmentwicklung und Verifikation, Autor: Futschek, Gerald, Verlag: Springer Vienna // Springer Wien, Sprache: Deutsch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines // Computerprogrammierung und Softwareentwicklung // Theoretische Informatik, Rubrik: Programmiersprachen, Seiten: 204, Informationen: Paperback, Gewicht: 412 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 29.05.2020
Zum Angebot