Time for Verification Essays in Memory of Amir Pnueli
Κύριος συγγραφέας: | Manna, Zohar |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Άλλοι συγγραφείς: | Peled, Doron A., 1962- |
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2010
|
Σειρά: | Lecture Notes in Computer Science
6200 |
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/978-3-642-13754-9 |
Παρόμοια τεκμήρια
-
Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
ανά: Lilius, Johan
Έκδοση: (2010) -
Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ανά: Ong, Luke
Έκδοση: (2010) -
Abstraction, Refinement and Proof for Probabilistic Systems
ανά: McIver, Annabelle
Έκδοση: (2005) -
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
ανά: Dams, Dennis
Έκδοση: (2010) -
Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
ανά: KuΔera, AntonΓn
Έκδοση: (2010)