Bearbmagovva

Summary goes here

Furkejuvvon:
Bibliográfalaš dieđut
Materiálatiipa: Girji
Giella:eaŋgalasgiella
Fáttát:
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.
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
Govvádus
Čoahkkáigeassu:Summary goes here
Fuomášahttimat:General Notes
Olgguldas hápmi:1 online resource (xiii, 626 pages) :illustrations
ISBN:9783642150258
364215025X
9783642150241
3642150241