Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Formal Methods : An Appetizer by Hanne Riis Nielson and Flemming Nielson (2019, Hardcover)
BOOKS etc. (541816)
99.5% positive Feedback
Price:
£38.03
Free postage
Returns:
60 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Condition:
ISBN-13: 9783030051556, 978-3030051556. The early chapters on program graphs and the Guarded Commands language are sufficient introduction for most readers to then enjoy a plug-and-play approach to the remaining chapters.
- Buy it nowFormal Methods - 9783030051556
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherSpringer International Publishing A&G
ISBN-103030051552
ISBN-139783030051556
eBay Product ID (ePID)7046681281
Product Key Features
Number of PagesXvii, 160 Pages
LanguageEnglish
Publication NameFormal Methods : an Appetizer
SubjectSoftware Development & Engineering / General, Computer Science
Publication Year2019
TypeTextbook
Subject AreaComputers
AuthorHanne Riis Nielson, Flemming Nielson
FormatHardcover
Dimensions
Item Weight26.9 oz.
Item Length11 in
Item Width8.3 in
Be the first to write a review
![The Stranger In The Mirror, by Marlene M. D. Steinberg [Paperback]](https://i.ebayimg.com/images/g/YosAAeSw6rloNgwT/s-l225.jpg)
