Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Symbolic Model Checking

Język AngielskiAngielski
Książka Twarda
Książka Symbolic Model Checking Kenneth L. McMillan
Kod Libristo: 42163944
Wydawnictwo Kluwer Academic Publishers, lipiec 1993
Formal verification means having a mathematical model of a system, a language for specifying desired... Cały opis
? points 225 b
395.04 zł
Dostępna u dostawcy Wysyłamy za 10-18 dni

30 dni na zwrot towaru

Klienci kupili także

Sputnik Christian Berkel / Audio CD Audio
common.buy 100.16 zł
Schau genau, per St Gra/Zabawka Gra
common.buy 80.18 zł
Das Fachbuch zum Taschenrechner Rebell SC2060S / Książka Miękka
common.buy 57.50 zł
Necromáquina ROSSANA REGUILLO / Książka Miękka
common.buy 104.77 zł
Cycle de l'Atlantide, tome 1 Ariel Riseln / Książka Miękka
common.buy 88.31 zł
Raíces Eclesiásticas en la Génesis Evolutiva de la Universidad Española Panizo y Romo de Arce / Książka Miękka
common.buy 137.19 zł
TESTIGO DE RADIO JUAN DE DIOS RODRIGUEZ / Książka Miękka
common.buy 126.15 zł
Vous et votre voiture / Książka Miękka
common.buy 165.20 zł
Polacy w służbie Moskali Chwalba Andrzej / Książka Miękka
common.buy 119.63 zł
Die Schlaf Und Traumzustande Der Menschlichen Seele (1882) Heinrich Spitta / Książka Miękka
common.buy 162.18 zł
Malbuch für Geist & Seele Dana Zimmermann / Książka Miękka
common.buy 39.54 zł
Introdução à Química dos Alimentos Paulo Figueiredo / Książka Miękka
common.buy 158.67 zł
Al-qutayrat al-bayda B2, lengua árabe José David . . . [et al. ] Aguilar Cobos / Książka Miękka
common.buy 65.53 zł
Breve diccionario etimológico de la lengua castellana JOAN COROMINES / Książka Miękka
common.buy 219.90 zł
Jenny Fanny Lewald / Książka Miękka
common.buy 68.44 zł
Yoga-Anatomie 3D Ray Long / Książka Miękka
common.buy 89.52 zł
Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I eneca / Książka Twarda
common.buy 256.83 zł

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. Whe

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Symbolic Model Checking
Autor Kenneth L. McMillan
Język Angielski
Oprawa Książka - Twarda
Data wydania 1993
Liczba stron 194
EAN 9780792393801
ISBN 0792393805
Kod Libristo 42163944
Wydawnictwo Kluwer Academic Publishers
Waga 426
Wymiary 179 x 229 x 18

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Obwody i komponenty elektroniczne
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

Mogłoby Cię także zainteresować

Book of Bees Piotr Socha / Książka Twarda
common.buy 90.02 zł
Complete Account Of The Settlement At Port Jackson Watkin Tench / Książka Miękka
common.buy 81.79 zł
South Asian Politics and Religion Donald Eugene Smith / Książka Twarda
common.buy 914.54 zł
Clip Studio Paint by Example Ludovico Serra / Książka Miękka
common.buy 258.54 zł
Encyclopaedia of World Bridges David McFetrich / Książka Twarda
common.buy 156.46 zł
Great American Decades Puzzle Book 2000s / Książka Miękka
common.buy 35.72 zł
Zapowiedź
MBS Crown / Książka Miękka
common.buy 58.30 zł
Heart of Valor: Gay Romance Dj Monroe / Książka Miękka
common.buy 39.94 zł
Prima Facie Gunnar Farinha / Książka Miękka
common.buy 43.75 zł
Place of the Beautiful in the City Plan John Nolen / Książka Twarda
common.buy 114.01 zł
Transgender and Intersex: Theoretical, Practical, and Artistic Perspectives Stefan Horlacher / E-book Adobe ePub DRM
common.buy 449.74 zł
Atomic Properties in Hot Plasmas Jacques Bauche / Książka Twarda
common.buy 436.59 zł
History of Australian Exploration from 1788 to 1888. Ernest Favenc / Książka Miękka
common.buy 114.01 zł
Surgery of the Stomach Horst D. Becker / Książka Miękka
common.buy 436.59 zł
TOP
NKJV, Simply Charming Bible Thomas Nelson / Książka Twarda
common.buy 103.37 zł
Voicework in Music Therapy Felicity Baker / Książka Miękka
common.buy 285.23 zł
Usborne Geography Encyclopedia Gillian Doherty / Książka Miękka
common.buy 76.77 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?