The SPIN Verification System 1
bokomslag The SPIN Verification System
Data & IT

The SPIN Verification System

Jean-Charles GrÉGoire

Inbunden

1209:-

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

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

  • 203 sidor
  • 1997
This work, covering the SPIN verification system, is intended for researchers in the areas of formal methods, formal verification of software, and automata theory.
  • Författare: Jean-Charles GrÉGoire
  • Format: Inbunden
  • ISBN: 9780821806807
  • Språk: Engelska
  • Antal sidor: 203
  • Utgivningsdatum: 1997-07-01
  • Förlag: American Mathematical Society

Du kanske gillar

  1. bokomslag Rapports Sur La Bibliographie, La Destruction Des Patois Et Les Exce S Du Vandalisme Faits a la Convention Re E Dite S Sous Les Auspices de M. E. Egger, Par Un Bibliophile Normand C. Renard

    Rapports Sur La Bibliographie, La Des...

    Henri Baptiste Gre Goire, A E Egger, Charles Renard

    Pocket

    339:-
  2. bokomslag La Bretagne Au Xvie Sie Cle Apre S La Re Union.

    La Bretagne Au Xvie Sie Cle Apre S La...

    Louis Gre Goire

    Pocket

    319:-
  3. bokomslag Studies by Phase Contrast Microscopy on Distribution of Patterns of Hemolymph Coagulation in Insects

    Studies by Phase Contrast Microscopy ...

    Charles Gregoire

    Häftad

    529:-
  4. Hitster Rock

    Hitster Rock

    Spel, Hitster

    299:- (349:-)
  5. bokomslag Handbok för 50+

    Handbok för 50+

    Gunnar Jägberg

    Inbunden

    139:-
  6. bokomslag Stora Minecraft-inspirationsboken

    Stora Minecraft-inspirationsboken

    Thomas McBrien

    Inbunden

    269:-
  7. Kalabalik

    Kalabalik

    Spel, Ninja Print

    449:-
  8. bokomslag Historien om Sverige : från stormakt till världens modernaste land

    Historien om Sverige : från stormakt ...

    Bo Eriksson

    Inbunden

    369:-
  9. bokomslag Tranorna flyger söderut

    Tranorna flyger söderut

    Lisa Ridzén

    Pocket

    69:- (119:-)
  10. bokomslag Dejlig : Att samlas kring mat från morgon till kväll

    Dejlig : Att samlas kring mat från mo...

    Rebecca Hübbe

    Inbunden

    279:-