Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: dcs=0*

Zurück zur Trefferliste


Treffer 61 von 147 < < > <



Medienkombinationen
Link zu diesem Datensatz https://d-nb.info/997058579
Titel Formale Modelle der Softwareentwicklung : Model-Checking, Verifikation, Analyse und Simulation / Stephan Kleuker
Person(en) Kleuker, Stephan (Mitwirkender)
Verlag Wiesbaden : Vieweg + Teubner
ISBN/Einband/Preis 978-3-8348-0669-7 : EUR 34.90
EAN 9783834806697
Beziehungen Studium
Anmerkungen Literaturangaben
Schlagwörter Softwareentwicklung ; Korrektheit ; Beweis ; Formale Methode
DDC-Notation 005.14 [DDC22ger]
Sachgruppe(n) 004 Informatik
Zugehörige Bände 2 Publikationen
  1. Formale Modelle der Softwareentwicklung / [Buch.]
    2009, 1. Aufl.
  2. Formale Modelle der Softwareentwicklung / Online-Ergänzung





Treffer 61 von 147
< < > <




Aktionen

Aktionen





E-Mail-IconAdministration