Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata)...

The author presents a theory whereby nets, terms and formulas represent concurrent processes at t...

The author presents a theory whereby nets, terms and formulas represent concurrent processes at t...

Inhaltsangabe:Inhaltsverzeichnis:Inhaltsverzeichnis:ABBILDUNGSVERZEICHNISTABELLENVERZEICHNISAB...

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

Torsten Olderog präsentiert einen umfassenden Marketing-Ansatz für den Online-Handel, der es Unte...

Dieses Buch bietet als erstes Lehrbuch eine systematischeEinf}hrung in die Programmverifikation. ...

Computers are gaining more and more control over systems that we use or rely on in our daily live...

Welche Lernstile, Lernstrategien und welchen Lernerfolg haben berufstätige Studierende? Dieser Fr...

As computers increasingly control the systems and services we depend upon within our daily lives ...

This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techni...