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 69.99 €
DPD koerier 6.49 € Bpost punt 8.49 € Bpost 7.99 € DPD-punt 3.99 € GLS koerier 5.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Automatic Verification of Sequential Infinite-State Processes

Taal EngelsEngels
Boek Paperback
Boek Automatic Verification of Sequential Infinite-State Processes Burkart
Libristo-code: 06615459
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, december 1997
This monograph provides information for theoreticians interested in algebraic theories, as well as f... Volledige beschrijving
? points 125 b
51.33 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Die Ursache Der Zusatzlichen Eisenverluste in Umlaufenden Glatten Ringankern Julius Wild / Boek Paperback
common.buy 52.74 €
Der Reisende Ulrich Alexander Boschwitz / E-book Adobe ePub DRM
common.buy 10.95 €
Die Reiniger Henk Wester / Boek Paperback
common.buy 18.78 €
Spirit Island: Natur Erwacht (Erweiterung) / Spel/speelgoed Spel
common.buy 46.41 €
porte dell'Ade. Eroi. La dea della luce Ivano Locatelli / Boek Gebonden
common.buy 17.97 €
LA BALADA DEL NORTE 3 ALFONSO ZAPICO / Boek Gebonden
common.buy 21.29 €
EL JARD¡N DE LOS ABRAZOS JOSE ANTONIO LUENGO LATORRE / Boek Gebonden
common.buy 18.28 €
Cachoeiro de Itapemirim: seus cantos, encantos e contrapontos Roberto Carlos F. de Oliveira / Boek Paperback
common.buy 35.36 €
Genie venge, poeme GUYETAND-C-M / Boek Paperback
common.buy 13.96 €
Andare per la Sicilia dei greci Franco La Cecla / Boek Paperback
common.buy 13.96 €
Recueil de Voyages Interessans Pour l'Instruction Et l'Amusement de la Jeunesse. Tome 4 Sans Auteur / Boek Paperback
common.buy 28.12 €
Agenda 21 Local Et Sig Didier Jean Yemba / Boek Paperback
common.buy 25.81 €
L'influence du stress chez l'Infirmier Sapeur Pompiers en intervention Sokesara Tea / Boek Paperback
common.buy 25.81 €

This monograph provides information for theoreticians interested in algebraic theories, as well as for software engineers building practical tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.

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 Automatic Verification of Sequential Infinite-State Processes
Auteur Burkart, O. (University of Dortmund, Germany)
Taal Engels
Bindwijze Boek - Paperback
Datum van uitgifte 1997
Aantal pagina's 176
EAN 9783540639824
ISBN 9783540639824
Libristo-code 06615459
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 284
Afmetingen 155 x 235 x 10

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Wiskunde en wetenschap > Wiskunde
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

Prince and the Purple Rain Era Studio Sessions Duane Tudahl / Boek Paperback
common.buy 29.43 €
Blue Yonder Justine Davis Randers-Pehrson / Boek Paperback
common.buy 16.87 €
Cyprus Robert Hamilton Lang / Boek Paperback
common.buy 27.92 €
Coexistence Danny Rittman / Boek Paperback
common.buy 13.75 €
Empty Nest Karen Stabiner / Boek Gebonden
common.buy 30.53 €
Media and the Transformation of Religion in South Asia Lawrence A. Babb / Boek Gebonden
common.buy 85.19 €
Companion to Modern Art Pam Meecham / Boek Gebonden
common.buy 209.47 €
12 Critical Things Your Family Needs to Know Mark Gavagan / Boek Paperback
common.buy 18.78 €
U.S. History Activities: Interactive Learning Strategies and Enrichment Projects John Zola / Boek Paperback
common.buy 24.30 €
Gin and Gingerbread Elizabeth Jeffrey / Boek Paperback
common.buy 28.12 €
National Intelligencer Newspaper Abstracts Joan M Dixon / Boek Paperback
common.buy 48.92 €
Traffic Engineering Franco Callegati / Boek Gebonden
common.buy 50.13 €
Fundamentals of Statistical Inference Norbert Hirschauer / Boek Paperback
common.buy 61.48 €
Darkest Star Jennifer L. Armentrout / Boek Paperback
common.buy 13.86 €
Damaged Bonds Michael Eigen / Boek Gebonden
common.buy 202.84 €
Three Men in a Boat K. Jerome / Boek Paperback
common.buy 17.87 €
Blippi: I Like That!: Blippi Coloring Book Editors of Studio Fun International / Boek Paperback
common.buy 5.11 €
American Tang Soo Do Federation System: Orang Belt Student Manual David Wilson / Boek Paperback
common.buy 28.93 €
Happy Birthday Irina - The Big Birthday Activity Book: (Personalized Children's Activity Book) Birthdaydr / Boek Paperback
common.buy 10.54 €
Kinks Carey Fleiner / Boek Gebonden
common.buy 63.69 €
Combinatorial Pattern Matching Alberto Apostolico / Boek Paperback
common.buy 51.33 €
Cambridge Introduction to the Old Norse-Icelandic Saga Margaret Clunies Ross / Boek Gebonden
common.buy 137.34 €
TOP
How to Draw Scott Robertson / Boek Gebonden
common.buy 42.29 €
TOP
Shake Hands With The Devil Romeo Dallaire / Boek Paperback
common.buy 13.86 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?