Book Your Summer Shop NowBook Your Summer Shop Now
Add Item to wish listAdd Item to wish list
Read sample

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

By Tiziana Margaria (Editor), Bernhard Steffen (Editor)
eBook
$89.00
By Tiziana Margaria (Editor), Bernhard Steffen (Editor)
Membership Card Icon

Collect stamps to save with Rewards. 10 stamps = $5. Learn More

Formats
See All Formats & Editions
Select a store to view item availability.

Available on compatible , the free NOOK App, and in My Digital Library

NOOK App

Download NOOK app

NOOK Devices

NOOK eReaders

  • NOOK GlowLight 4 Plus
  • NOOK GlowLight 4e
  • NOOK GlowLight 4
  • NOOK GlowLight Plus 7.8"
  • NOOK GlowLight 3
  • NOOK GlowLight Plus 6"

NOOK Tablets

  • NOOK 9" Lenovo Tablet
  • NOOK 10" HD Lenovo Tablet
  • NOOK Tablet 7" & 10.1"
  • NOOK by Samsung Galaxy Tab 7.0 [Tab A and Tab 4]
  • NOOK by Samsung [Tab 4 10.1, S2 & E]

Free NOOK Reading Apps

  • NOOK for iOS
  • NOOK for Android

BN.com website

Go to your Digital Library in My Account

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 o...

Categories

Computer ProgrammingSoftware EngineeringGeneral Software EngineeringSoftware development and engineering->General and miscellaneous