FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

Independently Published
FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

Image of FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

Prices from

11.16

Featured

	€ 11.16	To Shop
	€ 11.16	To Shop

Description

Amazon Pages: 175, Paperback, Independently published

Compare webshops (2)

Shop

Price

€ 11.16

To Shop

€ 11.16

To Shop

Description (1)

Pages: 175, Paperback, Independently published

Brand	Independently Published
EAN	9798243353243

Prices were last updated on: 03-06-2026, 07:02

Independently Published

ATS programming FOR VERIFIED SOFTWARE DEVELOPMENT: Mathematically proven correctness and type safety in systems

€ 10.98

Compare 2 stores 2 stores

Independently Published

LEAN PROGRAMMING for FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks verified computation

€ 11.17

Compare 2 stores 2 stores

Independently Published

Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification

€ 34.41

Compare 2 stores 2 stores

Independently Published

IDRIS 2 PROGRAMMING FOR DEPENDENT TYPE SYSTEMS: Formal software verification and provably...

€ 11.08

Compare 2 stores 2 stores

Featured Choice

€ 11.16

To Shop

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

Description

Product specifications