Name: Formal Methods at the Crossroads. From Panacea to Foundational Support
Price: 27.5 USD
Availability: InStock
Rating: 4.8 (559 reviews)
Author: Bernhard K. Aichernig
ISBN: 9783540400073

Description

The publisher of this book has not provided a description. Please check back later.

About this Ebook

PublisherSpringer Berlin Heidelberg

PublishedAugust 23, 2025

LanguageEnglish

FormatEPUB

Formal Methods at the Crossroads. From Panacea to Foundational Support

Description

About this Ebook

Explore Related Tags

You Might Also Like

#tweetsmart

(MCTS) Microsoft BizTalk Server 2010 (70-595) Certification Guide (Second Edition)

.NET & XML

'Fundamentals of Image, Audio, and Video Processing Using MATLAB®' and 'Fundamentals of Graphics Using MATLAB®'