Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
A Survey of Verification Techniques for Parallel Programs

A Survey of Verification Techniques for Parallel Programs

by Howard Barringer Perfect 1985

⭐ 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: Howard Barringer
  • ISBN 13: 9783540152392
  • ISBN 10: 3540152393
  • Publication Year: 1985
  • Language: English

Specifications

Index-103540152393
LanguageEnglish
Index-139783540152392
Period-
Class Track-
Publisher- (1985)
Pages-

✨ Readers also enjoyed...

View All →
Advances in Temporal Logic

Advances in Temporal Logic

Howard Barringer, Dov Gabbay, Graham Gough, Michael Fisher

Inquire
Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings

Temporal Logic in Specification : …

Behnam Banieqbal, Howard Barringer, Amir Pnueli

Inquire
DK Readers Level 2: LEGO Star Wars The Rise of Skywalker

DK Readers Level 2: LEGO Star Wars…

DK, Ruth Amos

Inquire
The Brewster Boys and the Eve of Infamy

The Brewster Boys and the Eve of I…

Stephen Dittmer

Inquire
I Love You Honey : Liebes Notizen, Notizbuch, Notizheft Im Coolen Design, Punkteraster, 120 Seiten, Liebe Zum Aufschreiben

I Love You Honey : Liebes Notizen,…

Stefanie Lorenz

Inquire