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.

Automatic Verification of Sequential Infinite-State Processes

Taal EngelsEngels
Boek Gebonden (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.69 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Die Ursache Der Zusatzlichen Eisenverluste in Umlaufenden Glatten Ringankern Julius Wild / Boek Gebonden (paperback)
common.buy 53.11 €
Genie venge, poeme GUYETAND-C-M / Boek Gebonden (paperback)
common.buy 13.65 €
Cachoeiro de Itapemirim: seus cantos, encantos e contrapontos Roberto Carlos F. de Oliveira / Boek Gebonden (paperback)
common.buy 35.71 €
EL JARD¡N DE LOS ABRAZOS JOSE ANTONIO LUENGO LATORRE / Boek Gebonden (harde band)
common.buy 18.61 €
Recueil de Voyages Interessans Pour l'Instruction Et l'Amusement de la Jeunesse. Tome 4 Sans Auteur / Boek Gebonden (paperback)
common.buy 29.13 €
Andare per la Sicilia dei greci Franco La Cecla / Boek Gebonden (paperback)
common.buy 14.05 €
L'influence du stress chez l'Infirmier Sapeur Pompiers en intervention Sokesara Tea / Boek Gebonden (paperback)
common.buy 25.99 €
Die Reiniger Henk Wester / Boek Gebonden (paperback)
common.buy 18.40 €
Agenda 21 Local Et Sig Didier Jean Yemba / Boek Gebonden (paperback)
common.buy 25.99 €
Der Reisende Ulrich Alexander Boschwitz / E-book Adobe ePub DRM
common.buy 11.02 €
Spirit Island: Natur Erwacht (Erweiterung) / Spel/speelgoed Spel
common.buy 46.73 €

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 - Gebonden (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

12 Critical Things Your Family Needs to Know Mark Gavagan / Boek Gebonden (paperback)
common.buy 18.40 €
Diary of a Legal Drug Dealer Kay Carlson / Boek Gebonden (paperback)
common.buy 19.62 €
Blue Yonder Justine Davis Randers-Pehrson / Boek Gebonden (paperback)
common.buy 16.48 €
National Intelligencer Newspaper Abstracts Joan M Dixon / Boek Gebonden (paperback)
common.buy 48.66 €
Cyprus Robert Hamilton Lang / Boek Gebonden (paperback)
common.buy 30.85 €
Coexistence Danny Rittman / Boek Gebonden (paperback)
common.buy 13.55 €
Empty Nest Karen Stabiner / Boek Gebonden (harde band)
common.buy 29.94 €
Media and the Transformation of Religion in South Asia Lawrence A. Babb / Boek Gebonden (harde band)
common.buy 85.28 €
Companion to Modern Art Pam Meecham / Boek Gebonden (harde band)
common.buy 215.50 €
Combinatorial Pattern Matching Alberto Apostolico / Boek Gebonden (paperback)
common.buy 51.69 €
U.S. History Activities: Interactive Learning Strategies and Enrichment Projects John Zola / Boek Gebonden (paperback)
common.buy 23.87 €
Gin and Gingerbread Elizabeth Jeffrey / Boek Gebonden (paperback)
common.buy 29.84 €
Darkest Star Jennifer L. Armentrout / Boek Gebonden (paperback)
common.buy 12.23 €
Damaged Bonds Michael Eigen / Boek Gebonden (harde band)
common.buy 188.38 €
Three Men in a Boat K. Jerome / Boek Gebonden (paperback)
common.buy 17.90 €
Blippi: I Like That!: Blippi Coloring Book Editors of Studio Fun International / Boek Gebonden (paperback)
common.buy 4.75 €
American Tang Soo Do Federation System: Orang Belt Student Manual David Wilson / Boek Gebonden (paperback)
common.buy 28.32 €
Fundamentals of Statistical Inference Norbert Hirschauer / Boek Gebonden (paperback)
common.buy 59.79 €
Traffic Engineering Franco Callegati / Boek Gebonden (harde band)
common.buy 36.82 €
Call Me Hank Hank Pennier / Boek Gebonden (paperback)
common.buy 37.53 €
Cambridge Introduction to the Old Norse-Icelandic Saga Margaret Clunies Ross / Boek Gebonden (harde band)
common.buy 136.28 €
TOP
How to Draw Scott Robertson / Boek Gebonden (harde band)
common.buy 41.47 €
Wordt verwacht
Shake Hands With The Devil Romeo Dallaire / Boek Gebonden (paperback)
common.buy 12.23 €
Between Slavery and Freedom Bill E. Lawson / Boek Gebonden (paperback)
common.buy 18.51 €

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