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

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

Majosta

Pages: 349, Paperback, Independently published

Compare prices (1 shop)

Sort: Price: lowest first Price: highest first

shop	Price	Action
	29,93 GBP	Go to shop

Similar products

Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification
From 119,99 EUR
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97
From 39,99 EUR
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
From 15,95 EUR
Real-Time Systems Formal Specification and Automatic Verification Olderog Dierks
From 72,89 EUR
An ASIC Low Power Primer: Analysis, Techniques and Specification
From 88,24 EUR
MASTERING THE OSCILLOSCOPE: Intermediate Techniques for Signal Analysis
From 9,71 EUR