Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Automatic Verification of Sequential Infinite-State Processes

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Automatic Verification of Sequential Infinite-State Processes Burkart
Koda Libristo: 06615459
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, december 1997
This monograph provides information for theoreticians interested in algebraic theories, as well as f... Celoten opis
? points 118 b
48.92 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Die Ursache Der Zusatzlichen Eisenverluste in Umlaufenden Glatten Ringankern Julius Wild / Knjiga Mehka
common.buy 50.24 €
Der Reisende Ulrich Alexander Boschwitz / E-knjiga Adobe ePub DRM
common.buy 9.92 €
Die Reiniger Henk Wester / Knjiga Mehka
common.buy 17.52 €
Spirit Island: Natur Erwacht (Erweiterung) / Igra/Igrača Igra
common.buy 46.89 €
porte dell'Ade. Eroi. La dea della luce Ivano Locatelli / Knjiga Trda
common.buy 16.50 €
EL JARD¡N DE LOS ABRAZOS JOSE ANTONIO LUENGO LATORRE / Knjiga Trda
common.buy 12.96 €
Cachoeiro de Itapemirim: seus cantos, encantos e contrapontos Roberto Carlos F. de Oliveira / Knjiga Mehka
common.buy 33.62 €
Genie venge, poeme GUYETAND-C-M / Knjiga Mehka
common.buy 13.06 €
Andare per la Sicilia dei greci Franco La Cecla / Knjiga Mehka
common.buy 12.96 €
Recueil de Voyages Interessans Pour l'Instruction Et l'Amusement de la Jeunesse. Tome 4 Sans Auteur / Knjiga Mehka
common.buy 26.73 €
L'influence du stress chez l'Infirmier Sapeur Pompiers en intervention Sokesara Tea / Knjiga Mehka
common.buy 24.51 €
Agenda 21 Local Et Sig Didier Jean Yemba / Knjiga Mehka
common.buy 24.51 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Automatic Verification of Sequential Infinite-State Processes
Avtor Burkart, O. (University of Dortmund, Germany)
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 1997
Število strani 176
EAN 9783540639824
ISBN 9783540639824
Koda Libristo 06615459
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 284
Mere 155 x 235 x 10

Kategorije

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Mathematics & Science > Mathematics
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Gin and Gingerbread Elizabeth Jeffrey / Knjiga Mehka
common.buy 28.56 €
Blue Yonder Justine Davis Randers-Pehrson / Knjiga Mehka
common.buy 15.49 €
National Intelligencer Newspaper Abstracts Joan M Dixon / Knjiga Mehka
common.buy 46.18 €
Cyprus Robert Hamilton Lang / Knjiga Mehka
common.buy 29.27 €
Coexistence Danny Rittman / Knjiga Mehka
common.buy 12.75 €
Empty Nest Karen Stabiner / Knjiga Trda
common.buy 28.25 €
Media and the Transformation of Religion in South Asia Lawrence A. Babb / Knjiga Trda
common.buy 82.05 €
Companion to Modern Art Pam Meecham / Knjiga Trda
common.buy 185.17 €
12 Critical Things Your Family Needs to Know Mark Gavagan / Knjiga Mehka
common.buy 17.52 €
U.S. History Activities: Interactive Learning Strategies and Enrichment Projects John Zola / Knjiga Mehka
common.buy 22.68 €
Combinatorial Pattern Matching Alberto Apostolico / Knjiga Mehka
common.buy 48.92 €
Darkest Star Jennifer L. Armentrout / Knjiga Mehka
common.buy 11.44 €
Damaged Bonds Michael Eigen / Knjiga Trda
common.buy 180.31 €
Three Men in a Boat K. Jerome / Knjiga Mehka
common.buy 17.21 €
Top
Blippi: I Like That!: Blippi Coloring Book Editors of Studio Fun International / Knjiga Mehka
common.buy 4.45 €
Happy Birthday Irina - The Big Birthday Activity Book: (Personalized Children's Activity Book) Birthdaydr / Knjiga Mehka
common.buy 9.82 €
The Memoirs of Sherlock Holmes Larvae Editions / Knjiga Mehka
common.buy 10.63 €
American Tang Soo Do Federation System: Orang Belt Student Manual David Wilson / Knjiga Mehka
common.buy 26.94 €
Fundamentals of Statistical Inference Norbert Hirschauer / Knjiga Mehka
common.buy 57.02 €
Traffic Engineering Franco Callegati / Knjiga Trda
common.buy 35.14 €
A History of German in 101 Words Charles V. J. Russ / Knjiga Mehka
common.buy 54.39 €
Top
Shake Hands With The Devil Romeo Dallaire / Knjiga Mehka
common.buy 12.65 €
Low, Dishonest Decade Paul N. / Knjiga Mehka
common.buy 39.19 €
Between Slavery and Freedom Bill E. Lawson / Knjiga Mehka
common.buy 17.82 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?