Transactions on Petri Nets and Other Models of Concurrency XII /

Transactions on Petri Nets and Other Models of Concurrency XII /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Koutny, Maciej. (Editor), Kleijn, Jetty. (Editor), Penczek, Wojciech. (Editor), Zhang, Mingmin. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Transactions on Petri Nets and Other Models of Concurrency, 10470
Subjects:
Software engineering.
Computer logic.
Algorithms.
Data structures (Computer science).
Software Engineering.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Data Structures.
Description
Physical Description:XVII, 217 p. 89 illus. : online resource.
ISBN:9783662558621

Similar Items