Koha - Katalog › Details zu: Formale Modelle der Softwareentwicklung : Model-Checking, Verifikation, Analyse und Simulation

Normale Ansicht MARC ISBD

Formale Modelle der Softwareentwicklung : Model-Checking, Verifikation, Analyse und Simulation

von Kleuker, Stephan

Weitere Verfasser: Kleuker, Stephan -- aut

Editionsangabe:1. Aufl. Erschienen bei: Vieweg+Teubner (Wiesbaden) Physische Details: 301 S. ISBN:9783834806697.

Schlagwort(e): Modelle | Softwareentwicklung

Jahr: 2009

Tags dieser Bibliothek: Es gibt keine Tags für diesen Titel. Einloggen, um Tags hinzuzufügen

Medientyp	Aktuelle Bibliothek	Signatur	Exemplarnr.	Status	Fälligkeitsdatum	Barcode
Bücher	Bibliothek der NORDAKADEMIE	EDV 51 (Regal durchstöbern (Öffnet sich unterhalb))	1	Verfügbar		013385
Bücher	Bibliothek der NORDAKADEMIE	EDV 51 (Regal durchstöbern (Öffnet sich unterhalb))	1	Verfügbar		012640

Zurück								Weiter
Zurück	EDV 51 The Science of Programming : 1. Electronic digital computers-Programming	EDV 51 Softwaresysteme und ihre Modellierung : Grundlagen, Methoden und Techniken	EDV 51 Formale Modelle der Softwareentwicklung : Model-Checking, Verifikation, Analyse und Simulation	EDV 51 Formale Modelle der Softwareentwicklung : Model-Checking, Verifikation, Analyse und Simulation	EDV 51 Lehrbuch der Softwaretechnik (2) : Softwaremanagement	EDV 51 Lehrbuch der Softwaretechnik : Basiskonzepte und Requirements Engineering	EDV 51 Von Geodaten bis NoSQL: Leistungsstarke PHP-Anwendungen : Aktuelle Techniken und Methoden für Fortgeschrittene	Weiter

Es gibt keine Kommentare für diesen Titel.

um einen Kommentar hinzuzufügen.