Using Event-B for Critical Device Software Systems

Using Event-B for Critical Device Software Systems

EnglishPaperback / softbackPrint on demand
Singh Neeraj Kumar
Springer London Ltd
EAN: 9781447157908
Print on demand
Delivery on Friday, 4. of September 2026
CZK 2,351
Common price CZK 2,612
Discount 10%
pc
Do you want this product today?
Megabooks Praha Korunní
not available
Librairie Francophone Praha Štěpánská
not available
Megabooks Ostrava
not available
Megabooks Olomouc
not available
Megabooks Plzeň
not available
Megabooks Brno
not available
Megabooks Hradec Králové
not available
Megabooks České Budějovice
not available
Megabooks Liberec
not available
EAN 9781447157908
ISBN 1447157907
Binding Paperback / softback
Publisher Springer London Ltd
Publication date July 7, 2015
Pages 326
Language English
Dimensions 235 x 155
Country United Kingdom
Readership Professional & Scholarly
Authors Singh Neeraj Kumar
Illustrations XVIII, 326 p.
Manufacturer information
The manufacturer's contact information can be found here.