Inbunden

Industrial Applications Of Formal Methods To Model, Design And Analyze Computer Systems

Dan Craigen, Susan Gerhart, Ted Ralston

Beskrivning:

Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. This title evaluates international industrial experience in using formal methods. It includes cases which are representat [...]
Visa längre beskrivning

Fakta

Förlag:: William Andrew Publishing
ISBN:: 9780815513629
Bandtyp:: Inbunden
Utgiven:: 1995-01-01
Språk:: Engelska
Antal Sidor:: 320
ISBN-10:: 0815513623

Priser hos nätbutiker

Mervärde	Pris	Tillgänglighet	Leveranstid	Inkl frakt	Länkar
Alltid störst sortiment Bonustrappa; samla inköp och få unika erbjudanden	509.00 kr	I lager	5-15 dagar	509.00 kr	Till butik
Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser	600.00 kr	I lager	2-5 dagar	600.00 kr	Till butik
Över 6 miljoner titlar Fraktfritt över 100kr Medmera-återbäring på alla köp	854.00 kr	I lager	3-6 dagar	854.00 kr	Till butik

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