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:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!