Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
1st ed. 2023
Book Details
Format
Paperback / Softback
Book Series
Lecture Notes in Computer Science
ISBN-10
303140131X
ISBN-13
9783031401312
Edition
1st ed. 2023
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Aug 17th, 2023
Print length
334 Pages
Product Classification:
Software EngineeringMathematical theory of computation
Ksh 11,700.00
Werezi Extended Catalogue
Delivery in 28 days
Delivery Location
Delivery fee: Select location
Delivery in 28 days
Secure
Quality
Fast
After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-tolerant systems, distributed systems, database systems, and safety-critical embedded systems.
Get Applicable Formal Methods for Safe Industrial Products by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
