SALE ON NOW! PROMOTIONS

Close Notification

Your cart does not contain any items

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III by Tiziana Margaria at Abbey's Bookshop,
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International...
— —
Tiziana Margaria Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings,...

Tiziana Margaria,  Bernhard Steffen

$107.95   $86.53

Paperback

Not in-store but you can order this
How long will it take?
English
Springer Nature Switzerland AG
31 October 2018
Software testing & verification
Series: Lecture Notes in Computer Science
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. 

The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering.

Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day. 
Edited by:   ,
Imprint:   Springer Nature Switzerland AG
Country of Publication:   Switzerland
Edition:   1st ed. 2018
Volume:   11246
Dimensions:   Height: 235mm,  Width: 155mm, 
Weight:   813g
ISBN:   9783030034238
ISBN 10:   3030034232
Series:   Lecture Notes in Computer Science
Pages:   522
Publication Date:  
Audience:   Professional and scholarly ,  Undergraduate
Format:   Paperback
Publisher's Status:   Active

See Also

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Automated Software Testing

Foundations, Applications and Challenges...

Ajay Kumar Jena

Hardback

$329.95  $263.71

Not in-store but you can order this

ADD +
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Python for Beginners

A complete beginner's guide to learning...

Aiden Phillips

Paperback

$45.95  $39.26

Not in-store but you can order this

ADD +
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Balancing Software Innovation and...

17th International Conference on...

Jannik Fischbach

Paperback

$293.95  $234.85

Not in-store but you can order this

ADD +
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Debugging

The 9 Indispensable Rules for Finding...

David J. AGANS

Paperback

$41.95 

Not in-store but you can order this

ADD +
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Unraveling Software Maintenance...

Thinking Outside the Box

Ervin Varga

Hardback

$88.95  $75.33

Not in-store but you can order this

ADD +
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

The ASQ Certified Software Quality...

Linda Vogelsong Westfall

Hardback

$390.95  $312.78

Not in-store but you can order this

ADD +