På den här sidan
'/%3e%3c/svg%3e)
Ej skönlitteratur, Text · Engelska
Systems and software verification : model-checking techniques and tools
Béatrice Bérard (Medarbetare (Ospecificerad))
ISBN 3540415238
utgivning
Berlin; New York : Springer, 2001, cop. 2001xii, 190 s.
B. Bérard ... [et al.]
Bok
Tillgänglighet utifrån medietyp
kategori
Ej skönlitteraturämne
Computer systems--Verification, Computer software--Verification, Systemutveckling, ProgramutvecklingDetaljer
Medverkan och funktion
Béatrice Bérard (Medarbetare (Ospecificerad))Identifikator
ISBN 3540415238har titel
Systems and software verification : model-checking techniques and toolsupphovsuppgift
B. Bérard ... [et al.]utgivning
Berlin; New York : Springer, 2001, cop. 2001omfång
xii, 190 s.anmärkning
- Includes bibliographical references
Övriga fysiska detaljer
ill.Identifikator
LIBRISIII-nummer 3540415238kontrollnummer
5368361 Biblioteksspecifik information (bestånd)
Uppsala universitetsbibliotek · Ångströmbiblioteket (Uang)
ämneSoftware / program verification, Operating systems, reliabilityklassifikationPub (kssb)
Resursens ID / Permalänk: https://libris.kb.se/1jb4m56c5rjg0df#it
Ladda ner metadata: JSON-LD · Turtle · RDF/XML · MARC21 (ISO 2709) · MARC21 (XML)