|
|
Sold Out
Book Categories |
This book presents state-of-the-art discussions of the key issues in programming concepts and methods, with a particular emphasis on formal specification, formal verification and mathematical foundations. The PROCOMET '98 workshop covers a number of important topics in this field, including compositional approaches to specification and verification, the design of verification support tools and practical software engineering issues in using programming concepts and methods.
| Price | Condition | Delivery | Seller | Action |
| $341.76 | Digital |
| WonderClub |
Fred Bayel
reviewed Programming Concepts and Methods: Procomet 98 on September 24, 2018
Programming Concepts and Methods: Procomet 98
Good
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Programming Concepts and Methods: Procomet 98
X
This Item is in Your Inventory
Programming Concepts and Methods: Procomet 98
X
You must be logged in to review the productsX
X
X
Add Programming Concepts and Methods: Procomet 98, This book presents state-of-the-art discussions of the key issues in programming concepts and methods, with a particular emphasis on formal specification, formal verification and mathematical foundations. The PROCOMET '98 workshop covers a number of impor, Programming Concepts and Methods: Procomet 98 to the inventory that you are selling on WonderClubX
X
Add Programming Concepts and Methods: Procomet 98, This book presents state-of-the-art discussions of the key issues in programming concepts and methods, with a particular emphasis on formal specification, formal verification and mathematical foundations. The PROCOMET '98 workshop covers a number of impor, Programming Concepts and Methods: Procomet 98 to your collection on WonderClub |