Computer Aided Verification

AvSerdar Tasiran,Isil Dillig

Inbunden, Engelska, 2020

922 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

810 kr

Inbunden

866 kr

Häftad

866 kr

Produktinformation

Utgivningsdatum:2020-10-08
Mått:216 x 279 x 37 mm
Vikt:1 842 g
Format:Inbunden
Språk:Engelska
Antal sidor:680
Förlag:Saint Philip Street Press
ISBN:9781013271175

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Mer från samma författare

Del 11561

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Häftad

554 kr

Del 11562

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Häftad

554 kr

Del 14095

Verified Software. Theories, Tools and Experiments

Andrew Reynolds, Serdar Tasiran

Häftad

554 kr

Runtime Verification

Oleg Sokolsky, Serdar Tasiran

Häftad

554 kr

Runtime Verification

Shaz Qadeer, Serdar Tasiran

Häftad

554 kr

Du kanske också är intresserad av

Computer Aided Verification

Serdar Tasiran, Isil Dillig

Inbunden

866 kr

Computer Aided Verification

Serdar Tasiran, Isil Dillig

Häftad

810 kr

Computer Aided Verification

Serdar Tasiran, Isil Dillig

Häftad

866 kr

Del 11561

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Häftad

554 kr

Del 11562

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Häftad

554 kr

Runtime Verification

Shaz Qadeer, Serdar Tasiran

Häftad

554 kr

Del 14095

Verified Software. Theories, Tools and Experiments

Andrew Reynolds, Serdar Tasiran

Häftad

554 kr

Del 10747

Verification, Model Checking, and Abstract Interpretation

Isil Dillig, Jens Palsberg

Häftad

554 kr

Runtime Verification

Oleg Sokolsky, Serdar Tasiran

Häftad

554 kr

-30%

Brevbäraren i Lizzanello

Francesca Giannone

Pocket

69 kr99 kr

Företag, bibliotek eller offentlig verksamhet?

Computer Aided Verification

Fler format och utgåvor

Produktinformation

Utforska kategorier

Mer från samma författare

Computer Aided Verification

Computer Aided Verification

Verified Software. Theories, Tools and Experiments

Runtime Verification

Runtime Verification

Du kanske också är intresserad av

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Runtime Verification

Verified Software. Theories, Tools and Experiments

Verification, Model Checking, and Abstract Interpretation

Runtime Verification

Brevbäraren i Lizzanello

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration