All Formats & Editions
1 - 2 of 2 results found
Come, Let's Play: Scenario-Based Programming Us...
By David Harel and Rami Marelly
Edition Description
The play-in/play-out method and tool presented in this book is a powerful new approach to software and systems engineering and modeling based on formal methods and program semantics. The life sequence charts (LSC) as the language of this approach generalize the message sequence...
Edition Details
Format:Hardcover
Language:English
ISBN:3540007873
Format: Hardcover
Condition:
$
60.15
50 Available
Come, Let's Play: Scenario-Based Programming Us...
By David Harel and Rami Marelly
Edition Description
The play-in/play-out method and tool presented in this book is a powerful new approach to software and systems engineering and modeling based on formal methods and program semantics. The life sequence charts (LSC) as the language of this approach generalize the message sequence...
Edition Details
Format:Paperback
Language:English
ISBN:3642624162
Format: Paperback
Condition:
$
54.99
50 Available
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
