Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

by Springer, Krzysztof R. Apt, Ernst-Rüdiger Olderog, Amir Pnueli, Frank S. de Boer Paperback 2012

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Springer, Krzysztof R. Apt, Ernst-Rüdiger Olderog, Amir Pnueli, Frank S. de Boer
  • ISBN 13: 9781447125136
  • ISBN 10: 1447125134
  • Publication Year: 2012
  • Language: English

Specifications

Index-10 1447125134
Index-13 9781447125136
Language English

✨ Readers also enjoyed...

View All →
Abgründe der Informatik : Geheimnisse und Gemeinheiten

Abgründe der Informatik : Geheimni…

Alois Potton, Springer

Inquire
Abstract Parabolic Evolution Equations and Their Applications

Abstract Parabolic Evolution Equat…

Springer, Atsushi Yagi

Inquire
Advances in Agent-Based Complex Automated Negotiations

Advances in Agent-Based Complex Au…

Springer, Shaheen Fatima, Takayuki Ito, Tokuro Matsuo, Valentin Robu

Inquire
Advances in Biomedical Sensing, Measurements, Instrumentation and Systems

Advances in Biomedical Sensing, Me…

Springer, Aimé Lay-Ekuakille

Inquire
Advances in Corrosion Science and Technology : Volume 6

Advances in Corrosion Science and …

Springer, Mars G. Fontana, Roger W. Staehle

Inquire