- Lecture Notes in Computer Science
-
Tipul înregistrării: Text tipărit: colecţie
În:
9 records Page 1 of 2
- 1
- 2
Tip |
|
---|---|
25 Years of Model Checking : History, Achievements, Perspectives .- Germany : Springer, 2008
/ Grumberg, Orna
/ Springer
/ 2008
|
Serial |
CONCUR 2006 - Concurrency Theory .- Germania : Springer
/ Hermanns, Holger
/ Springer
|
Serial |
Serial | |
Formal Methods for Open Object-Based Distributed Systems .- Germania : Springer
/ Wehrheim, Heike
/ Springer
|
Serial |
Serial |
Evaluări
- Adaugă un comentariu şi faci cunoscută opinia ta!
Exportă
Filiala de unde se ridică