Sortiert nach
1st Edition 2017, 2017
Link zum Volltext
Science of computer programming, 2021-06, Vol.206, p.102626, Article 102626
2021
Link zum Volltext
1st Edition 2021, 2021
Link zum Volltext
1, 1999
Link zum Volltext
Models, Languages, and Tools for Concurrent and Distributed Programming, p.260-277
Link zum Volltext
Coordination Models and Languages, 2020, p.230-239
2020
Link zum Volltext
From Software Engineering to Formal Methods and Tools, and Back, p.85-109
Link zum Volltext
1, 2017
Link zum Volltext
Theoretical Computer Science, p.222-235
Link zum Volltext
Theoretical computer science, 2014-06, Vol.538, p.1-1
2014
Link zum Volltext
Software Engineering for Collective Autonomic Systems, p.3-71
Link zum Volltext
2017
Link zum Volltext
ACM computing surveys, 2013-10, Vol.46 (1), p.5
2013
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, p.479-497
Link zum Volltext
Electronic proceedings in theoretical computer science, 2012-07, Vol.85
2012
Link zum Volltext
From Data to Models and Back, p.78-90
Link zum Volltext
International journal on software tools for technology transfer, 2009-11, Vol.11 (5), p.355
2009
Link zum Volltext
International journal on software tools for technology transfer, 2009-11, Vol.11 (5), p.355-357
2009
Link zum Volltext
ACM computing surveys, 2014, Vol.46 (1)
2014
Link zum Volltext
Software, Services, and Systems, p.619-640
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, p.132-151
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Spatial Logics
- Programming Languages
- Closure Spaces
- Computer Programming, Programs, Data
- Congresses
- Model Checking
- Software Engineering/programming And Operating Systems
- Algebra
- Artificial Intelligence
- Compilers
- Computer Logic
- Computers
- Discrete Time Markov Chains
- Formal Methods
- Formal Semantics
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- IngentaConnect
- Springer Book Series
- ACM Digital Library
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- ScienceDirect Journals (5 years ago - present)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Online Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Xplore
- EBSCOhost Business Source Ultimate
- Wiley Online Library All Obooks
Zeitschrift / Serie
- International Journal On Software Tools For Technology Transfer
- The Journal Of Logic And Algebraic Programming
- Acm Computing Surveys
- Electronic Proceedings In Theoretical Computer Science
- Theoretical Computer Science
- Acm Sigmetrics Performance Evaluation Review
- Electronic Notes In Theoretical Computer Science
- Formal Aspects Of Computing
- Performance Evaluation Review
- Science Of Computer Programming