jan f groote
Formal Grammar
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 15th and 16th International Conference on F...
Semantics of Specification Languages (SoSL)
EbookSofort lieferbarSoSL was the first International Workshop on Semantics of Specification Languages, held from 25-2...
Logic Gates, Circuits, Processors, Compilers and Computers
EbookSofort lieferbar* Presents a holistic view of relevant hardware and software technologies
Tales of Electrologica
EbookSofort lieferbarFortuitously, a copy of the X8 was retrieved from Kiel, Germany, and put on display at Rijksmuseu...
Formal Methods for Industrial Critical Systems
EbookSofort lieferbarThis book constitutes the proceedings of the 27th International Conference on Formal Methods for ...
Understanding Behaviour of Distributed Systems Using mCRL2
EbookSofort lieferbarThis book helps readers easily learn basic model checking by presenting examples, exercises and c...
CONCUR ’91
TaschenbuchBezug 11-15CONCUR'91 is the second international conference onconcurrency theory, organized in associati...
Typed Lambda Calculi and Applications
TaschenbuchBezug 11-15The lambda calculus was developed in the 1930s by AlonzoChurch. Thecalculus turned out to...
Formal Grammar
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 15th and 16th International Conference on F...
Semantics of Specification Languages (SoSL)
TaschenbuchBezug 11-15SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-2...
Logic Gates, Circuits, Processors, Compilers and Computers
TaschenbuchBezug 11-15This undergraduate textbook first introduces basic electronic circuitry before explaining more ad...
Tools and Algorithms for the Construction and Analysis of Systems
TaschenbuchBezug 11-15This open access two-volume set constitutes the proceedings of the 27th International Conference ...
- 1
- 2