Ergebnisse für: Synchronous Languages

Hier findest Du Bücher, die sich mit Synchronous Languages beschäftigen.

Buch Cover Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages

Springer International Publishing
53.49 € · eBook
answer set programming constraints functional programming hybrid systems logic programming cycle handling declarative programming flp semantics function symbols functional reactive programming inference engine interface to object-oriented languages iterative deepening nonmonotonic reasoning probabilistic and reactive programming languages
This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume wer...
Buch Cover Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages

Springer International Publishing
53.49 € · Paperback
answer set programming constraints functional programming hybrid systems logic programming cycle handling declarative programming flp semantics function symbols functional reactive programming inference engine interface to object-oriented languages iterative deepening nonmonotonic reasoning probabilistic and reactive programming languages
This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume wer...
Buch Cover Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Georgios Logothetis
Akademische Verlagsgesellschaft AKA
40 € · Paperback
Formal Verification Real Time Systems Runtime Analysis Synchronous Languages
...
Buch Cover Handbook of Automata Theory
Handbook of Automata Theory

EMS Press
199 € · SA
finite automata picture languages language equations distributed synthesis infinite-state systems synchronous automata automata on infinite words self-similar groups synchronizing automata model-checking timed automata Cobham’s theorem road colouring problem free groups finite transducers
Automata theory is a subject of study at the crossroads of mathematics, theoretical computer science, and applications. In its core it deals with abstract models of systems whose behaviour is based on transitions between states, and it develops methods for the description, classification, analysis, ...
Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden