0
Your cart

Your cart is empty

Books > Computing & IT > Computer communications & networking

Buy Now

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II (Paperback, 1st ed. 2022) Loot Price: R2,290
Discovery Miles 22 900
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium,...

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II (Paperback, 1st ed. 2022)

Tiziana Margaria, Bernhard Steffen

Series: Lecture Notes in Computer Science, 13702

 (sign in to rate)
Loot Price R2,290 Discovery Miles 22 900 | Repayment Terms: R215 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Lecture Notes in Computer Science, 13702
Release date: October 2022
First published: 2022
Editors: Tiziana Margaria • Bernhard Steffen
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 427
Edition: 1st ed. 2022
ISBN-13: 978-3-03-119755-0
Categories: Books > Computing & IT > General theory of computing > Systems analysis & design
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Computer communications & networking > General
Books > Computing & IT > Applications of computing > Artificial intelligence > General
Promotions
LSN: 3-03-119755-0
Barcode: 9783031197550

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

CISA - Certified Information Systems…
Cannon Paperback R1,629 Discovery Miles 16 290
CompTIA Security+ Guide To Network…
Mark Ciampa Paperback R1,389 R1,263 Discovery Miles 12 630
Managing Business Projects - The…
Frank Einhorn Paperback R492 Discovery Miles 4 920
Guide to Networking Essentials
Greg Tomsho Paperback R1,423 R1,291 Discovery Miles 12 910
Network+ Guide to Networks
Jill West, Jean Andrews, … Paperback R1,390 R1,263 Discovery Miles 12 630
CCNA 200-301 Network Simulator
Sean Wilkins Digital product license key R3,116 Discovery Miles 31 160
The Gathering Cloud
J. R. Carpenter Paperback R429 Discovery Miles 4 290
PCI Dss: A Pocket Guide
IT Governance Paperback R425 Discovery Miles 4 250
Two-Factor Authentication
Mark Stanislav Paperback R543 Discovery Miles 5 430
ISO27001/ISO27002 - A Pocket Guide
Alan Calder Paperback R695 Discovery Miles 6 950
Fraud Prevention, Confidentiality, and…
Arshi Naim, Praveen Kumar Malik, … Hardcover R7,074 Discovery Miles 70 740
Community Engagement in the Online Space
Michelle Dennis, James H Albert Hardcover R6,126 Discovery Miles 61 260

See more

Partners