Description: Please refer to the section BELOW (and NOT ABOVE) this line for the product details - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Title:Engineering Trustworthy Software Systems: Second International School, Setss 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial LecturesISBN13:9783319568409ISBN10:331956840XAuthor:Bowen, Jonathan P. (Editor), Liu, Zhiming (Editor), Zhang, Zili (Editor)Description:This Volume Contains A Record Of Some Of The Lectures And Seminars Delivered At The Second International School On Engineering Trustworthy Software Systems (Setss 2016), Held In Marchapril 2016 At Southwest University In Chongqing, China The Six Contributions Included In This Volume Provide An Overview Of Leading-Edge Research In Methods And Tools For Use In Computer System Engineering They Have Been Distilled From Six Courses And Two Seminars On Topics Such As: Modelling And Verification In Event-B; Parallel Programming Today; Runtime Verification; Java In The Safety-Critical Domain; Semantics Of Reactive Systems; Parameterized Unit Testing; Formal Reasoning About Infinite Data Values; And Alan Turing And His Remarkable Achievements The Material Is Useful For Postgraduate Students, Researchers, Academics, And Industrial Engineers, Who Are Interested In The Theory And Practice Of Methods And Tools For The Design And Programming Of Trustworthy Software Systems Binding:Paperback, PaperbackPublisher:SPRINGER NATUREPublication Date:2017-04-06Weight:0.86 lbsDimensions:0.58'' H x 9.25'' L x 6.13'' WNumber of Pages:259Language:English
Price: 58.51 USD
Location: USA
End Time: 2024-11-05T02:22:28.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Engineering Trustworthy Software Systems: Second Internation...
Item Length: 9.3in
Item Width: 6.1in
Author: Zhiming Liu
Publication Name: Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Format: Trade Paperback
Language: English
Publisher: Springer International Publishing A&G
Publication Year: 2017
Series: Lecture Notes in Computer Science Ser.
Type: Textbook
Item Weight: 148.8 Oz
Number of Pages: Xv, 259 Pages
