Model Checking

Inbunden, Engelska, 2018

AvEdmund 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

939 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

Mer från samma författare

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

Computer-Aided Verification

Computer-Aided Verification

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

689 kr

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

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

709 kr

Du kanske också är intresserad av

Information-Driven Planning and Control

Information-Driven Planning and Control

Silvia Ferrari, Thomas A. Wettergren

1 139 kr

25 Years of Model Checking

25 Years of Model Checking

Orna Grumberg, Helmut Veith

499 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

Computer-Aided Verification

Computer-Aided Verification

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

689 kr

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

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

709 kr

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Cyrille Artho, Axel Legay, Doron Peled

719 kr

Computer Science Logic

Computer Science Logic

Anuj Dawar, Helmut Veith

709 kr

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Iliano Cervesato, Helmut Veith, Andrei Voronkov

1 409 kr

Computer Aided Verification

Computer Aided Verification

Natasha Sharygina, Helmut Veith

1 409 kr

Computer Aided Verification

Computer Aided Verification

Nicolas Halbwachs, Doron Peled

709 kr