Using Event-B for Critical Device Software Systems 1
bokomslag Using Event-B for Critical Device Software Systems
Data & IT

Using Event-B for Critical Device Software Systems

Keith Glover

Häftad

839:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 3-7 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 334 sidor
  • 2017
  • Författare: Keith Glover
  • Format: Häftad
  • ISBN: 9781981128860
  • Språk: Engelska
  • Antal sidor: 334
  • Utgivningsdatum: 2017-08-01
  • Förlag: Createspace Independent Publishing Platform

Du kanske gillar

  1. bokomslag Learn Full-Stack JavaScript Development

    Learn Full-Stack JavaScript Development

    Keith Glover

    Häftad

    359:-
  2. bokomslag Using Event-B for Critical Device Software Systems

    Using Event-B for Critical Device Sof...

    Neeraj Kumar Singh

    Pocket

    1479:-
  3. bokomslag Using Event-B for Critical Device Software Systems

    Using Event-B for Critical Device Sof...

    Neeraj Kumar Singh

    Inbunden

    1999:-
  4. bokomslag Modeling in Event-B

    Modeling in Event-B

    Jean-Raymond Abrial

    Inbunden

    2229:-
  5. bokomslag Modeling in Event-B A Practical Approach for Systems Engineers

    Modeling in Event-B A Practical Appro...

    Mugonza Robert Kawuma Simon

    Pocket

    1019:-
  6. bokomslag Modeling Human Emotion Using an Event-B approach and AI Perspective

    Modeling Human Emotion Using an Event...

    Salankar Fulmare Nilima

    Pocket

    1489:-
  7. bokomslag Enhancing Event-B Pattern

    Enhancing Event-B Pattern

    El-Sharawy Gaber Karam

    Pocket

    729:-
  8. Ny
    bokomslag Födelsedagen

    Födelsedagen

    Sofie Sarenbrant • Carina Bergfeldt

    Pocket

    69:- (119:-)
  9. Ny
    bokomslag En ond tid

    En ond tid

    Deepti Kapoor

    Pocket

    69:- (119:-)
  10. Kommande
    bokomslag Jävla karlar

    Jävla karlar

    Andrev Walden

    Pocket

    110:-

Andra av samma författare

  1. bokomslag Learn Full-Stack JavaScript Development

    Learn Full-Stack JavaScript Development

    Keith Glover

    Häftad

    359:-
  2. bokomslag Robust Controller Design Using Normalized Coprime Factor Plant Descriptions

    Robust Controller Design Using Normal...

    Keith Glover Duncan C McFarlane

    Pocket

    2159:-
  3. bokomslag Minimum Entropy H_ Control

    Minimum Entropy H_ Control

    Keith Glover Denis Mustafa

    Pocket

    979:-