HOME > Detail View

Detail View

Model checking abstract state machines

Model checking abstract state machines

Material type
단행본
Personal Author
Winter, Kirsten.
Title Statement
Model checking abstract state machines / Kirsten Winter.
Publication, Distribution, etc
Saarbruchen :   VDM Verlag Dr. Muller ,   2008.  
Physical Medium
195 p. : ill. ; 23 cm.
ISBN
3639018915
General Note
Zugl.: Berlin, TU, Diss. 2001.  
Bibliography, Etc. Note
Includes bibliographical references.
Subject Added Entry-Topical Term
System design. Computer software -- Development. Computer systems -- Verification. Embedded computer systems.
000 00849namuu2200265 a 4500
001 000045545977
005 20090903154921
008 090902s2008 gw a b 000 0 eng d
020 ▼a 3639018915
040 ▼a 211009 ▼c 211009 ▼d 211009
041 0 ▼a eng ▼b ger
082 0 4 ▼a 004.2/1 ▼2 22
090 ▼a 004.21 ▼b W785m
100 1 ▼a Winter, Kirsten.
245 1 0 ▼a Model checking abstract state machines / ▼c Kirsten Winter.
260 ▼a Saarbruchen : ▼b VDM Verlag Dr. Muller , ▼c 2008.
300 ▼a 195 p. : ▼b ill. ; ▼c 23 cm.
500 ▼a Zugl.: Berlin, TU, Diss. 2001.
504 ▼a Includes bibliographical references.
650 0 ▼a System design.
650 0 ▼a Computer software ▼x Development.
650 0 ▼a Computer systems ▼x Verification.
650 0 ▼a Embedded computer systems.
945 ▼a KINS

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 004.21 W785m Accession No. 121185005 Availability Available Due Date Make a Reservation Service B M

New Arrivals Books in Related Fields