Copertina

Summary goes here

Salvato in:
Dettagli Bibliografici
Natura: Libro
Lingua:inglese
Soggetti:
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: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
Descrizione
Riassunto:Summary goes here
Descrizione del documento:General Notes
Descrizione fisica:1 online resource (xiii, 626 pages) :illustrations
ISBN:9783642150258
364215025X
9783642150241
3642150241