Doprava zadarmo s Packetou nad 59.99 €

Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Model Checking

Name: Model Checking
Brand: MIT Press Ltd
SKU: 19285025
Price: 93.32 EUR
Availability: InStock

Clarke

Edmund M.

Jr. (Carnegie Mellon University)

Orna (Technion) Grumberg

Daniel (Oxford University) Kroening

Doron (Bar Ilan University) Peled

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 19285025

Nakladateľstvo MIT Press Ltd, december 2018

An expanded and updated edition of a comprehensive presentation of the theory and practice of model...

Libristo kód: 19285025

234 b

93.32 €

Skladom u dodávateľa Odosielame za 3-5 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Flow Mihaly Csikszentmihalyi

/ Brožovaná

12.40 €

Propaganda Jacques Ellul

/ Brožovaná

15.63 €

The Art of How to Train Your Dragon Tracey Miller-Zarneke

/ Pevná

38.84 €

Selina Lake: Garden Style Selina Lake

/ Pevná

20.27 €

The Lies We Tell Ourselves: How to Face the Truth, Accept Yourself, and Create a Better Life Jon Frederickson

/ Brožovaná

12.20 €

Search For The Real Self James F. Masterson

/ Brožovaná

14.42 €

Knowledge Illusion Steven Sloman

/ Brožovaná

14.32 €

Poručník Lady Fiony Amanda Scott

/ Pevná

8.87 €

Moje pierwsze pięć lat wspomnienie dzieciństwa Opracowanie Zbiorowe

/ Pevná

16.03 €

A Summer Spell Sue Bentley

/ Brožovaná

6.65 €

HIDDEN P. C. Cast

/ Pevná

18.35 €

Portae cum turribus Paul Bidwell

/ Brožovaná

104.22 €

Traditional Architecture Alireza Sagharchi

/ Pevná

63.45 €

Fox the Tiger Corey R. Tabor

/ Brožovaná

4.93 €

Raising Girls into Extraordinary Young Women Monica Hawkins Ph.D. M.P.H.

/ Brožovaná

13.21 €

World Heritage and Sustainable Development Peter Bille Larsen

/ Brožovaná

55.89 €

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.

Informácie o knihe

Celý názov Model Checking

Autor Clarke, Edmund M., Jr. (Carnegie Mellon University), Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled,

Jazyk

Angličtina

Väzba Kniha - Pevná

Dátum vydania 2018

Počet strán 424

EAN 9780262038836

ISBN 9780262038836

Libristo kód 19285025

Nakladateľstvo MIT Press Ltd

Váha 820

Rozmery 187 x 236 x 25

Kategórie

Výpočtové a informačné technológie > Informatika

Darujte túto knihu ešte dnes

Je to jednoduché

1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Doručenie

Nákupný poradca