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 Kurier 12.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 222 b
398.69 zł
Dostępna u dostawcy Wysyłamy za 14-21 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Necromáquina ROSSANA REGUILLO / Książka Miękka
common.buy 106.62 zł
TOP
Biblia treningu siłowego. Masa mięśniowa, idealna sylwetka, skuteczne ćwiczenia i programy treningów w kulturystyce i fitness wyd. 2021 Grzegorz Andrzejewski / Książka Miękka
common.buy 74.97 zł
Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I eneca / Książka Twarda
common.buy 270.85 zł
Enigme des vacances : The captain is missing! 5e/4e Sylvie Rouch / Książka Twarda
common.buy 39.59 zł
dama dei gelsomini Lisa Laffi / Książka Miękka
common.buy 83.61 zł
Schau genau, per St Gra/Zabawka Gra
common.buy 69.74 zł
Sputnik Christian Berkel / Audio CD Audio
common.buy 102.91 zł
Das Fachbuch zum Taschenrechner Rebell SC2060S / Książka Miękka
common.buy 59.03 zł
Belarta Rikolto 2025. Premiitaj Verkoj de la Belartaj Konkursoj de Universala Esperanto-Asocio Miguel Fernández / Książka Miękka
common.buy 77.38 zł
Cycle de l'Atlantide, tome 1 Ariel Riseln / Książka Miękka
common.buy 92.96 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 139.89 zł
TESTIGO DE RADIO JUAN DE DIOS RODRIGUEZ / Książka Miękka
common.buy 128.63 zł
Tiny Music...Songs From The Vatican Gift Shop Stone Temple Pilots / Audio CD Audio
common.buy 113.66 zł
Vous et votre voiture / Książka Miękka
common.buy 164.41 zł
Nous n'avons pas changé Lorraine Fouchet / Książka Miękka
common.buy 107.33 zł
Al-qutayrat al-bayda B2, lengua árabe José David . . . [et al. ] Aguilar Cobos / Książka Miękka
common.buy 66.72 zł
Polacy w służbie Moskali Chwalba Andrzej / Książka Miękka
common.buy 118.88 zł
Die Schlaf Und Traumzustande Der Menschlichen Seele (1882) Heinrich Spitta / Książka Miękka
common.buy 171.05 zł
Yoga-Anatomie 3D Ray Long / Książka Miękka
common.buy 105.02 zł
Malbuch für Geist & Seele Dana Zimmermann / Książka Miękka
common.buy 39.59 zł
Introdução à Química dos Alimentos Paulo Figueiredo / Książka Miękka
common.buy 162.81 zł
Jenny Fanny Lewald / Książka Miękka
common.buy 70.34 zł
Gog Et Magog Louis-G / Książka Miękka
common.buy 101.30 zł
Breve diccionario etimológico de la lengua castellana JOAN COROMINES / Książka Miękka
common.buy 225.22 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ć

Zapowiedź
Book of Bees Piotr Socha / Książka Twarda
common.buy 86.12 zł
Complete Account Of The Settlement At Port Jackson Watkin Tench / Książka Miękka
common.buy 99.09 zł
God's Words Ailsa Warburton / Książka Twarda
common.buy 155.17 zł
Heart of Valor: Gay Romance Dj Monroe / Książka Miękka
common.buy 42.10 zł
Place of the Beautiful in the City Plan John Nolen / Książka Twarda
common.buy 120.09 zł
Songs From the Plays of Shakespeare Willhelm Shakespear / Książka Miękka
common.buy 66.32 zł
Prima Facie Gunnar Farinha / Książka Miękka
common.buy 46.22 zł
After Midnight: City of Sin Ursula Sinclair / Książka Miękka
common.buy 38.08 zł
ALBANIA'S RIGHTS AND CLAIMS TO INDEPENDA CHRISTO ANAST [DAKO / Książka Twarda
common.buy 140.12 zł
Making Dances That Matter Anna Halprin / Książka Miękka
common.buy 96.57 zł
Comparative Constitutionalism in South Asia (OIP) Sunil Khilnani / Książka Miękka
common.buy 129.14 zł
How to Stop Living Paycheck to Paycheck Phil Wall / Książka Miękka
common.buy 76.97 zł
Zapowiedź
MBS Crown / Książka Miękka
common.buy 61.50 zł
Great American Decades Puzzle Book 2000s / Książka Miękka
common.buy 36.36 zł
Pilgrim Songs In Cloud And Sunshine (1870) Newman Hall / Książka Miękka
common.buy 111.65 zł
Confessions Of An Opera Singer (1918) Kathleen Howard / Książka Twarda
common.buy 200.39 zł
Game of Sales DAVID PERRY / Książka Miękka
common.buy 57.18 zł
Clip Studio Paint by Example Ludovico Serra / Książka Miękka
common.buy 272.66 zł
Encyclopaedia of World Bridges David McFetrich / Książka Twarda
common.buy 149.64 zł
Irish Leprechaun Stories Bairbre McCarthy / E-book Adobe ePub DRM
common.buy 17.81 zł
Transgender and Intersex: Theoretical, Practical, and Artistic Perspectives Stefan Horlacher / E-book Adobe ePub DRM
common.buy 487.26 zł
After Marriage Equality Carlos A. Ball / Książka Twarda
common.buy 502.31 zł
Principles of Marketing Avon College Press / Książka Miękka
common.buy 646.73 zł
Atomic Properties in Hot Plasmas Jacques Bauche / Książka Twarda
common.buy 448.03 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?