Jean-Raymond Abrial Forfatter

Visning: Type : Alle | Sprog : Alle | Format : Hardback

• 

  PRIS

  1.558,- kr

  FRAGTFRI LEVERING

  Levering: Print on Demand (forvent 14 - 30 hverdage)

  Bemærk: Kan ikke leveres før jul.

  Modeling in Event-B: System and Software Engineering (Bog, Hardback, Engelsk)

  Af: Jean-Raymond Abrial

  A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and... Læs mere

  PRIS

  1.558,- kr

  FRAGTFRI LEVERING

  Levering: Print on Demand (forvent 14 - 30 hverdage)

  Læg i kurv