Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Model Checking

Name: Model Checking
Brand: MIT Press Ltd
SKU: 19285025
Price: 407.21 PLN
Availability: InStock

Clarke

Edmund M.

Jr. (Carnegie Mellon University)

Orna (Technion) Grumberg

Daniel (Oxford University) Kroening

Doron (Bar Ilan University) Peled

Język

Angielski

Książka Twarda

Kod Libristo: 19285025

Wydawnictwo MIT Press Ltd, grudzień 2018

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

Kod Libristo: 19285025

237 b

407.21 zł

50 % szansa Przeszukamy cały świat Kiedy dostanę książkę?

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Flow Mihaly Csikszentmihalyi

/ Miękka

34.61 zł

Propaganda Jacques Ellul

/ Miękka

75.70 zł

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

/ Twarda

189.57 zł

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

/ Miękka

66.92 zł

Knowledge Illusion Steven Sloman

/ Miękka

70.05 zł

Poručník Lady Fiony Amanda Scott

/ Twarda

35.62 zł

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

/ Twarda

59.04 zł

A Summer Spell Sue Bentley

/ Miękka

32.49 zł

HIDDEN P. C. Cast

/ Twarda

88.72 zł

Portae cum turribus Paul Bidwell

/ Miękka

493.21 zł

Verlaque i Bonnet na tropie Tom 1 Śmierć w Chateau Bremont Longworth M. L.

/ Miękka

30.27 zł

Traditional Architecture Alireza Sagharchi

/ Twarda

185.43 zł

Fox the Tiger Corey R. Tabor

/ Miękka

24.42 zł

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

/ Miękka

61.87 zł

17 songs Dario Greggio

/ Miękka

111.64 zł

World Heritage and Sustainable Development Peter Bille Larsen

/ Miękka

229.44 zł

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.

Informacje o książce

Pełna nazwa Model Checking

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

Język

Angielski

Oprawa Książka - Twarda

Data wydania 2018

Liczba stron 424

EAN 9780262038836

ISBN 9780262038836

Kod Libristo 19285025

Wydawnictwo MIT Press Ltd

Waga 820

Wymiary 187 x 236 x 25

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka)

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Dostawa

Doradca ds. zakupów