Buchumschlag

Summary goes here

Gespeichert in:
Bibliographische Detailangaben
Format: Buch
Sprache:Englisch
Schlagworte:
Computer science
Information theory.
Formal methods (Computer science)
Mathematical Computing
Information Theory
Computing Methodologies
Informatique
Théorie de l'information.
Méthodes formelles (Informatique)
Informatique.
Information theory
Theoretische Informatik
Mathematische Logik
Berechenbarkeit
Komplexitätstheorie
Automatentheorie
Softwarespezifikation
Programmverifikation
Abstrakte Zustandsmaschine
Formale Methode
Congress
proceedings (reports)
Festschriften
Conference papers and proceedings
Conference papers and proceedings.
Festschriften.
Actes de congrès.
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Summary goes here
Beschreibung:General Notes
Beschreibung:1 online resource (xiii, 626 pages) :illustrations
ISBN:9783642150258
364215025X
9783642150241
3642150241