Cover of Theoretical Aspects of Computing - ICTAC 2015

Mark as

Theoretical Aspects of Computing - ICTAC 2015

by Martin Leucker

Buy this book
Add to a list
Review

More by Martin Leucker

Formal Methods

by Joost-Pieter Katoen

Cover of Formal Methods
Review
Buy this book More books like Formal Methods

Formal Methods : Applications and Technology

by Boudewijn Haverkort

Cover of Formal Methods : Applications and Technology
Review
Buy this book More books like Formal Methods : Applications and Technology

Formal Methods in Outer Space

by Ezio Bartocci

Cover of Formal Methods in Outer Space
Review
Buy this book More books like Formal Methods in Outer Space

Model-Based Testing of Reactive Systems

by Manfred Broy

Cover of Model-Based Testing of Reactive Systems
Review
Buy this book More books like Model-Based Testing of Reactive Systems

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment