Inbunden

Model Checking

E.M. Clarke, Orna Grumberg, Doron A. Peled

Beskrivning:

This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.

Fakta

Förlag:: MIT Press
ISBN:: 9780262032704
Bandtyp:: Inbunden
Utgiven:: 200002
Språk:: Engelska
Antal Sidor:: 330
ISBN-10:: 0262032708

Priser hos nätbutiker

Butik	Mervärde	Pris	Tillgänglighet	Leveranstid	Inkl frakt	Länkar
	Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser	561.00 kr	I lager	2-5 dagar	561.00 kr	Till butik

Obs! Glöm inte att alltid kolla priset hos återförsäljaren!