Items per page:
Sort by:
Paperback
Usually ships within 24 hours
Industrial-Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. ... More
Paperback
Usually ships within 24 hours
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully ... More
Paperback
Usually ships within 24 hours
This book constitutes the refereed proceedings of the 11th International Conference of Z Users, ZUM '98, held in Berlin, Germany, in September 1998. The 28 revised and invited ... More
Paperback
Usually ships within 24 hours
Paperback
This volume provides the reader with a comprehensive introduction to system specification and design methods, with particular emphasis on structured and formal methods, method ... More
Paperback
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully ... More
Sort by:
Items per page: