Home > Authors > Marieke Huisman > Formal Techniques for Distributed Objects, Components, and Systems

Buy at: Bookshop.org Amazon

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman, António Ravara

Recent activity

Rate this book to see your activity here.

2 Books Similar to Formal Techniques for Distributed Objects, Components, and Systems by Marieke Huisman

Bookscovery readers who liked Formal Techniques for Distributed Objects, Components, and Systems also like Behavioural Types, and Web Services, Formal Methods, and Behavioral Types. How many of these have you read?

Behavioural Types by Simon Gay

Cover of Behavioural Types

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Web Services, Formal Methods, and Behavioral Types by Thomas Hildebrandt

Cover of Web Services, Formal Methods, and Behavioral Types

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Formal Techniques for Distributed Objects, Components, and Systems

Please sign in to leave a comment