-
10.01.2011The author presents a theory whereby nets, terms and formulas represent concurrent processes at t...
-
22.09.1999
Computers are gaining more and more control over systems that we use or rely on in our daily live...
-
04.05.2017
Welche Lernstile, Lernstrategien und welchen Lernerfolg haben berufstätige Studierende? Dieser Fr...
-
14.03.2012
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...
-
15.06.2005
The author presents a theory whereby nets, terms and formulas represent concurrent processes at t...
-
03.05.2018
As computers increasingly control the systems and services we depend upon within our daily lives ...
-
28.08.2002
This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techni...
-
11.09.2008
Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata)...
-
10.03.2017
As computers increasingly control the systems and services we depend upon within our daily lives ...
-
05.10.2009
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...
-
21.03.1994
Dieses Buch bietet als erstes Lehrbuch eine systematischeEinführung in die Programmverifikation. ...
-
02.05.2001
Diplomarbeit aus dem Jahr 1997 im Fachbereich BWL - Marketing, Unternehmenskommunikation, CRM, Ma...
- 1
- 2