Model Checking

Inbunden, Engelska, 2018

Av Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke (Carnegie Mellon University) Jr., Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled, Helmut (Technische Universitaet Darmstadt) Veith, Edmund M. Clarke

1 219 kr

Tillfälligt slut

Produktinformation

Utgivningsdatum2018-12-04
Mått178 x 229 x 27 mm
Vikt828 g
FormatInbunden
SpråkEngelska
SerieCyber Physical Systems Series
Antal sidor424
Upplaga2
FörlagMIT Press Ltd
ISBN9780262038836

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it

Du kanske också är intresserad av

Verifying Cyber-Physical Systems

Verifying Cyber-Physical Systems

1 329 kr

Information-Driven Planning and Control

Information-Driven Planning and Control

Silvia Ferrari, Thomas A. Wettergren

1 179 kr

25 Years of Model Checking

25 Years of Model Checking

Orna Grumberg, Helmut Veith

509 kr

Handbook of Model Checking

Handbook of Model Checking

Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Edmund M. Clarke

1 919 kr

Handbook of Model Checking

Handbook of Model Checking

Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Jr. Clarke, Edmund M., Edmund M. Clarke

1 979 kr

Computer-Aided Verification

Computer-Aided Verification

Edmund M. Clarke Jr., Robert P. Kurshan, Edmund M. Clarke

709 kr

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Edmund M. Clarke Jr., Andrei Voronkov, Edmund M. Clarke

729 kr

Dependable Software Systems Engineering

Dependable Software Systems Engineering

Alexander Pretschner, Doron Peled

1 519 kr

Computer Science Logic

Computer Science Logic

Anuj Dawar, Helmut Veith

729 kr

Engineering Dependable Software Systems

Engineering Dependable Software Systems

Manfred Broy, Doron Peled

1 939 kr