Dynamic Logic for an Intermediate Language - Verification, Interaction and Refinement - Mattias Ulbrich
Softcover 38,00 €
In den Warenkorb

Dynamic Logic for an Intermediate Language

Verification, Interaction and Refinement

Beschreibung

This book is about ensuring that software behaves as it is supposed to behave. More precisely, it is concerned with the deductive verification of the compliance of software implementations with their ... weiterlesen

Buchdetails

Sprache: Englisch

ISBN: 9783844297034

Format: Wissenschaft

Seiten: 268

Altersempfehlung: Erwachsene (18+ Jahre) (1 - 99)

Erscheinungsdatum:

Schlagworte: Verifikation, Refinement, Intermediate Language, Dynamic Logic

Buch melden

Bei Fragen zum Jugendschutz kontaktieren Sie bitte unsere Autorenberatung.