Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation (in German)
Type
Physical Book
Publisher
Author
Language
German
Pages
311
Format
Paperback
ISBN13
9783834806697
Edition No.
2009th

Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation (in German)

Stephan Kleuker (Author) · Vieweg+Teubner Verlag, · Paperback

Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation (in German) - Stephan Kleuker

New Book Imported to Netherlands
Delivery: 09 Oct - 13 Oct Shipping: 15 to 16 business days.
€ 39,16
Import costs and 9% BTW included in the price ✅
€ 39,16

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation (in German)"

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in German.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews