Introduction to concurrency theory transition systems and CCS

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gorrieri, Roberto (VerfasserIn), Versari, Cristian (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cham [u.a.] Springer 2015
Schriftenreihe:	Texts in theoretical computer science : an EATCS series
Schlagworte:	Nebenläufigkeit Mathematische Logik Informatik CCS
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Introduction to Concurrency Theory Transition Systems and CCS von Gorrieri, Roberto, Versari, Cristian

Veröffentlicht 2015

Elektronisch E-Book