Model Checking

Name: Model Checking
Brand: MIT Press Ltd
SKU: 9780262032704-N
Price: 7.99 EUR
Availability: InStock
Rating: 5 (1 reviews)

By Peled, Doron A.

Only 1 item left in stock

Description

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.

Product details

Edition:

1

Number of Pages:

330

Release Date:

2000-01-07

Publication Date:

1999-12-20

Publisher:

MIT Press Ltd

Languages:

Original: English

ISBN10:

0262032708

ISBN13:

9780262032704

Minimum Reading Age:

18

Maximum Reading Age:

99

Weight:

703 g

Height:

185 cm

Width:

235 cm

Thickness:

23 cm

Condition

Show less

Like new

Items present themselves flawlessly, free of any signs of wear. Your new book may even be unread and your new media comes in impeccable condition, including an undamaged dust jacket or original foil packaging.

Used - like new €7,99

Used - good €8,89

Available immediately

€7,99

Incl. VAT, plus shipping costs

Only 1 item left in stock

Verified second-hand article

Verified second-hand item

Free shipping from 19€

€7,99