Clicky

Formal Methods by Flemming Nielson and similar books you'll love - Bookscovery

Home > Authors > Flemming Nielson > Formal Methods

Buy at: Bookshop.org Amazon

Recent activity

Rate this book to see your activity here.

12 Books Similar to Formal Methods by Flemming Nielson

Bookscovery readers who liked Formal Methods also like Principles of program analysis, Semantics with applications and Two-level functional languages. How many of these have you read?

Principles of program analysis by Flemming Nielson

Cover of Principles of program analysis
Buy this book at:
Bookshop.org Amazon

Semantics with applications by Hanne Riis Nielson

Cover of Semantics with applications
Buy this book at:
Bookshop.org Amazon

Two-level functional languages by Flemming Nielson

Cover of Two-level functional languages
Buy this book at:
Bookshop.org Amazon

Type and effect systems by Torben Amtoft

Cover of Type and effect systems
Buy this book at:
Bookshop.org Amazon

Coordination Models and Languages by Hanne Riis Nielson

Cover of Coordination Models and Languages
Buy this book at:
Bookshop.org Amazon

Principles of program analysis by Flemming Nielson

Cover of Principles of program analysis
Buy this book at:
Bookshop.org Amazon

Programming Languages and Systems - Esop '96: 6th European Symposium on Programming Linkoping, Sweden, April 22-24, 1996 by Hanne Riis Nielson

Cover of Programming Languages and Systems - Esop '96: 6th European Symposium on Programming Linkoping, Sweden, April 22-24, 1996
Buy this book at:
Bookshop.org Amazon

Semantics with applications by Hanne Riis Nielson

Cover of Semantics with applications
Buy this book at:
Bookshop.org Amazon

Semantics with applications by Hanne Riis Nielson

Cover of Semantics with applications
Buy this book at:
Bookshop.org Amazon

Static Analysis by Hanne Riis Nielson

Cover of Static Analysis
Buy this book at:
Bookshop.org Amazon

Two-level functional languages by Flemming Nielson

Cover of Two-level functional languages
Buy this book at:
Bookshop.org Amazon

Type and effect systems by Torben Amtoft

Cover of Type and effect systems
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Formal Methods

Please sign in to leave a comment