- 5 Ergebnisse
Kleinster Preis: € 31,26, größter Preis: € 74,97, Mittelwert: € 43,28
1
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation - Kleuker, Stephan
Bestellen
bei amazon.co.uk
£ 26,81
(ca. € 31,26)
Versand: € 5,601
Bestellen
Details beim Anbieter
gesponserter Link
Kleuker, Stephan:

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

2009, ISBN: 9783834806697

Vieweg+Teubner Verlag, Paperback, Auflage: 2009, 311 Seiten, Publiziert: 2009-09-15T00:00:01Z, Produktgruppe: Book, 0.54 kg, Introduction to Programming, Programming, Computing & Internet… Mehr…

Gut Versandkosten:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.60) momox co uk
zuklappen (X)
2
Formale Modelle der Softwareentwicklung - Stephan Kleuker
Bestellen
bei booklooker.de
€ 37,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Stephan Kleuker:

Formale Modelle der Softwareentwicklung - Erstausgabe

2009, ISBN: 9783834806697

Gebundene Ausgabe

[ED: Kartoniert / Broschiert], [PU: Vieweg+Teubner Verlag], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Viele unterschiedliche Ansaetz… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
zuklappen (X)
3
Bestellen
bei ZVAB.com
€ 34,19
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Stephan Kleuker:
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation - Taschenbuch

2009

ISBN: 3834806692

[EAN: 9783834806697], [SC: 0.0], [PU: Vieweg+Teubner Verlag], Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Des… Mehr…

Versandkosten:Versandkostenfrei. (EUR 0.00) medimops, Berlin, Germany [55410863] [Rating: 5 (von 5)]
zuklappen (X)
4
Bestellen
bei AbeBooks.de
€ 74,97
Versand: € 46,171
Bestellen
Details beim Anbieter
gesponserter Link
Kleuker, Stephan:
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation (German Edition) - Taschenbuch

2009, ISBN: 3834806692

[EAN: 9783834806697], Neubuch, [PU: Vieweg+Teubner Verlag], Buy with confidence! Book is in new, never-used condition, Books

NEW BOOK. Versandkosten: EUR 46.17 Books Unplugged, Amherst, NY, U.S.A. [74050220] [Rating: 5 (von 5)]
zuklappen (X)
5
Formale Modelle der Softwareentwicklung - Stephan Kleuker
Bestellen
bei lehmanns.de
€ 37,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Stephan Kleuker:
Formale Modelle der Softwareentwicklung - Erstausgabe

2009, ISBN: 9783834806697

Taschenbuch

Model-Checking, Verifikation, Analyse und Simulation, Buch, Softcover, 2009, [PU: Vieweg & Teubner], [ED: 1], Vieweg & Teubner, 2009

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation
Autor:
Titel:
ISBN-Nummer:

9783834806697


Software muss funktionieren, um von Kunden akzeptiert zu werden. Doch wie stellt man sicher, dass die Steuerung eines Raumschiffs, eines Herzschrittmachers oder einer Aktienverwaltung korrekt funktioniert? Neben den klassischen Testansätzen spielen für den Korrektheitsnachweis zunehmend formale Modelle eine zentrale Rolle. Ein Modell erlaubt es, ein beliebiges sequenzielles oder verteiltes System zu analysieren und zu simulieren. Dadurch, dass Korrektheitsanforderungen präzise definiert werden, kann man sogar verifizieren, dass die Anforderungen erfüllt sind. Dieses Buch stellt unterschiedliche formale Modelle mit ihren Einsatzmöglichkeiten und Werkzeugen vor. Dabei steht bewusst die Anwendung der Modelle und nicht die Theorie dahinter im Vordergrund.

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


EAN (ISBN-13): 9783834806697
ISBN (ISBN-10): 3834806692
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: Vieweg+Teubner Verlag
299 Seiten
Gewicht: 0,540 kg
Sprache: ger/Deutsch

Buch in der Datenbank seit 2007-02-28T21:59:05+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-08T11:25:53+02:00 (Berlin)
ISBN/EAN: 9783834806697

ISBN - alternative Schreibweisen:
3-8348-0669-2, 978-3-8348-0669-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: kleu, stephan kleuker
Titel des Buches: formale verifikation, modelle, modell, model, software, softwareentwicklung, simulation

Daten vom Verlag:

Autor/in: Stephan Kleuker
Titel: Formale Modelle der Softwareentwicklung - Model-Checking, Verifikation, Analyse und Simulation
Verlag: Vieweg+Teubner Verlag; Vieweg & Teubner
301 Seiten
Erscheinungsjahr: 2009-09-15
Wiesbaden; DE
Sprache: Deutsch
37,99 € (DE)
39,05 € (AT)
42,00 CHF (CH)
Available
X, 301 S. 206 Abb.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; Automat; Automaten; Java; Modellprüfung; PROMELA; SPIN; Simulation; Verifikation; Computer Science Logic and Foundations of Programming; Software Engineering; Software Engineering; EA

Prof. Dr. Stephan Kleuker hat im Themengebiet "formale Methoden" promoviert und lehrt seit mehreren Jahren Software-Engineering an den Fachhochschulen in Osnabrück und Wiesbaden. Er hat mehrjährige Praxiserfahrung als Systemanalytiker sowie als Berater bei der Erstellung komplexer Software-Systeme.
Viele unterschiedliche Ansätze formaler Modelle zum Nachweis der Korrektheit von Software Includes supplementary material: sn.pub/extras

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783834895950 Formale Modelle der Softwareentwicklung (Stephan Kleuker)

< zum Archiv...