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.

Computer-aided Verification

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Computer-aided Verification American Mathem American Mathem
Libristo-code: 06319043
Uitgeverij American Mathematical Society, juni 1991
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru... Volledige beschrijving
? points 436 b
180.19 €
50% kans We doorzoeken de hele wereld Wanneer krijg ik het boek?

Retourneren binnen 30 dagen

Klanten kochten ook

ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas Alberto Ezequiel Kashi / Boek Gebonden (paperback)
common.buy 24.17 €
Zeis Mati Blum / Boek Gebonden (paperback)
common.buy 15.77 €
Nuvole Bianche Nessa 19971995 / Boek Gebonden (paperback)
common.buy 14.86 €
Lettres De Gerbert (983-997) Pub. Avec Une Introduction Et Des Notes... / Boek Gebonden (paperback)
common.buy 27.92 €

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.

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 Computer-aided Verification
Auteur American Mathem American Mathem
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 1991
EAN 9780821865941
ISBN 9780821865941
Libristo-code 06319043
Uitgeverij American Mathematical Society
Gewicht 666

Categorieën

Wiskunde en wetenschap > Wiskunde > Algebra
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

Integrative Cardiovascular Chinese Medicine Anika Al-Shura / Boek Gebonden (harde band)
common.buy 131.12 €
Crystal Path Georgina Easterbrook / Boek Gebonden (harde band)
common.buy 22.15 €
Moo-Cow Kung-Fu-Cow Nick Sharratt / Boek Leporello (harmonicaboek)
common.buy 7.07 €
Your Star Child: Attracting, Birthing and Parenting an Evolved Soul Mary M. Mayhew / Boek Gebonden (paperback)
common.buy 17.39 €
Getting Started with Grails Rudolph / Boek Gebonden (paperback)
common.buy 21.95 €
Wild Oats Or The Strolling Gentlemen John O'Keeffe / Boek Gebonden (harde band)
common.buy 47.75 €
Patterns of a Network Economy Börje Johansson / Boek Gebonden (paperback)
common.buy 119.68 €
Wordt verwacht
Sculptured Thin Films Russell F. Messier / Boek Gebonden (harde band)
common.buy 96.92 €
Responsible Management of Information Systems Stahl / Boek Gebonden (harde band)
common.buy 88.32 €
Wordt verwacht
Invention of the Moving Assembly Line Dennis Abrams / Boek Gebonden (harde band)
common.buy 40.16 €
Wordt verwacht
Evaluation Findings for Taylor Devices Fluid Viscous Damper Highway Innovative Technology Evaluation / Boek Gebonden (paperback)
common.buy 53.72 €
Computer-aided Method Engineering Ajantha Dahanayake / Boek Gebonden (harde band)
common.buy 82.85 €
First World, Third World William Ryrie / Boek Gebonden (harde band)
common.buy 119.68 €
Assessment of Naval Hydromechanics, Science and Technology Committee for Naval Hydromechanics Science and Technology / Boek Gebonden (paperback)
common.buy 53.11 €
150 Idees Recues Sur L'Histoir FL / Boek Gebonden (paperback)
common.buy 25.18 €

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