Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Symbolic Model Checking

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Symbolic Model Checking Kenneth L. McMillan
Libristo-code: 42163944
Uitgeverij Kluwer Academic Publishers, juli 1993
Formal verification means having a mathematical model of a system, a language for specifying desired... Volledige beschrijving
? points 249 b
102.96 €
In extern magazijn Wordt binnen 10-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Sputnik Christian Berkel / Audio Audio cd
common.buy 23.64 €
Schau genau, per St Spel/speelgoed Spel
common.buy 20.00 €
Das Fachbuch zum Taschenrechner Rebell SC2060S / Boek Gebonden (paperback)
common.buy 13.53 €
Necromáquina ROSSANA REGUILLO / Boek Gebonden (paperback)
common.buy 24.65 €
Cycle de l'Atlantide, tome 1 Ariel Riseln / Boek Gebonden (paperback)
common.buy 20.81 €
Raíces Eclesiásticas en la Génesis Evolutiva de la Universidad Española Panizo y Romo de Arce / Boek Gebonden (paperback)
common.buy 32.33 €
TESTIGO DE RADIO JUAN DE DIOS RODRIGUEZ / Boek Gebonden (paperback)
common.buy 29.70 €
Vous et votre voiture / Boek Gebonden (paperback)
common.buy 38.90 €
Polacy w służbie Moskali Chwalba Andrzej / Boek Gebonden (paperback)
common.buy 32.02 €
Die Schlaf Und Traumzustande Der Menschlichen Seele (1882) Heinrich Spitta / Boek Gebonden (paperback)
common.buy 38.19 €
Malbuch für Geist & Seele Dana Zimmermann / Boek Gebonden (paperback)
common.buy 9.69 €
Introdução à Química dos Alimentos Paulo Figueiredo / Boek Gebonden (paperback)
common.buy 37.38 €
Al-qutayrat al-bayda B2, lengua árabe José David . . . [et al. ] Aguilar Cobos / Boek Gebonden (paperback)
common.buy 15.45 €
Breve diccionario etimológico de la lengua castellana JOAN COROMINES / Boek Gebonden (paperback)
common.buy 51.83 €
Jenny Fanny Lewald / Boek Gebonden (paperback)
common.buy 16.16 €
Yoga-Anatomie 3D Ray Long / Boek Gebonden (paperback)
common.buy 21.11 €
Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I eneca / Boek Gebonden (harde band)
common.buy 60.52 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Symbolic Model Checking
Auteur Kenneth L. McMillan
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 1993
Aantal pagina's 194
EAN 9780792393801
ISBN 0792393805
Libristo-code 42163944
Uitgeverij Kluwer Academic Publishers
Gewicht 426
Afmetingen 179 x 229 x 18

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Elektronica: stroomketens en componenten
Informatica en informatietechnologie > Informatica
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Book of Bees Piotr Socha / Boek Gebonden (harde band)
common.buy 22.63 €
Complete Account Of The Settlement At Port Jackson Watkin Tench / Boek Gebonden (paperback)
common.buy 19.29 €
South Asian Politics and Religion Donald Eugene Smith / Boek Gebonden (harde band)
common.buy 215.54 €
Clip Studio Paint by Example Ludovico Serra / Boek Gebonden (paperback)
common.buy 60.92 €
Encyclopaedia of World Bridges David McFetrich / Boek Gebonden (harde band)
common.buy 39.30 €
Great American Decades Puzzle Book 2000s / Boek Gebonden (paperback)
common.buy 8.38 €
Wordt verwacht
MBS Crown / Boek Gebonden (paperback)
common.buy 13.73 €
Heart of Valor: Gay Romance Dj Monroe / Boek Gebonden (paperback)
common.buy 9.39 €
Prima Facie Gunnar Farinha / Boek Gebonden (paperback)
common.buy 10.30 €
Place of the Beautiful in the City Plan John Nolen / Boek Gebonden (harde band)
common.buy 26.87 €
Transgender and Intersex: Theoretical, Practical, and Artistic Perspectives Stefan Horlacher / E-book Adobe ePub DRM
common.buy 106.10 €
Atomic Properties in Hot Plasmas Jacques Bauche / Boek Gebonden (harde band)
common.buy 102.86 €
History of Australian Exploration from 1788 to 1888. Ernest Favenc / Boek Gebonden (paperback)
common.buy 26.87 €
Surgery of the Stomach Horst D. Becker / Boek Gebonden (paperback)
common.buy 102.86 €
TOP
NKJV, Simply Charming Bible Thomas Nelson / Boek Gebonden (harde band)
common.buy 25.96 €
Voicework in Music Therapy Felicity Baker / Boek Gebonden (paperback)
common.buy 67.19 €
Usborne Geography Encyclopedia Gillian Doherty / Boek Gebonden (paperback)
common.buy 19.29 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken