Clicky

Verifiable programming by Ole-Johan Dahl and similar books you'll love - Bookscovery

Home > Authors > Ole-Johan Dahl > Verifiable programming

Buy at: Bookshop.org Amazon

Verifiable programming

Ole-Johan Dahl

See on goodreads | librarything

Recent activity

Rate this book to see your activity here.

5 Books Similar to Verifiable programming by Ole-Johan Dahl

Bookscovery readers who liked Verifiable programming also like Common base language, Discrete event simulation languages and From object-orientation to formal methods. How many of these have you read?

Common base language by Ole-Johan Dahl

Cover of Common base language
Buy this book at:
Bookshop.org Amazon

Discrete event simulation languages by Ole-Johan Dahl

Cover of Discrete event simulation languages
Buy this book at:
Bookshop.org Amazon

From object-orientation to formal methods by Ole-Johan Dahl

Cover of From object-orientation to formal methods
Buy this book at:
Bookshop.org Amazon

SIMULA by Ole-Johan Dahl

Cover of SIMULA
Buy this book at:
Bookshop.org Amazon

Structured programming by Ole-Johan Dahl

Cover of Structured programming
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Verifiable programming

Please sign in to leave a comment