Autorenfreundlich Bücher kaufen?!
Beschreibung
This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in topics such as reachability analysis; qualitative and timed systems; behavioural equivalences; temporal logics; session types; abstraction; mobility and space in process algebras; stochastic systems; probabilistic systems; Petri nets and non-sequential semantics; verification; decidability.
23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 28. Juli 2012 |
| Maße | |
| Gewicht | 890 Gramm |
| Format | Softcover |
| ISBN-13 | 9783642329395 |
| Seiten | 582 |
Schlagwörter
Angewandte Informatik, Compiler und Übersetzer, Compilers and Interpreters, Computer and Information Systems Applications, Computer Communication Networks, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Netzwerk-Hardware, Software Engineering, Theoretische Informatik
Herstellerinformationen
Bekannt durch
