Logo

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

Verification of Sequential and Concurrent Programs

by Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Amir Pnueli Hardcover 2009

⭐ 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: Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Amir Pnueli
  • ISBN 13: 9781848827448
  • ISBN 10: 184882744X
  • Publication Year: 2009
  • Language: English

Specifications

Index-10 184882744X
Index-13 9781848827448
Language English

✨ Readers also enjoyed...

View All →
Edsger Wybe Dijkstra : His Life, Work, and Legacy

Edsger Wybe Dijkstra : His Life, W…

Krzysztof R. Apt, Tony Hoare

Inquire
Edsger Wybe Dijkstra : His Life, Work, and Legacy

Edsger Wybe Dijkstra : His Life, W…

Krzysztof R. Apt, Tony Hoare

Inquire
Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Comput…

Krzysztof R. Apt, Erich Grädel

Inquire
New Trends in Constraints : Joint ERCIM/Compulog-Net Workshop, Paphos, Cyprus, October 1999 Selected Papers

New Trends in Constraints : Joint …

Krzysztof R. Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi

Inquire
Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budap

Recent Advances in Constraints : J…

Krzysztof R. Apt, François Fages, Francesca Rossi, Peter Szeredi, József Váncza

Inquire