Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Automatic Verification of Sequential Infinite-State Processes

Język AngielskiAngielski
Książka Miękka
Książka Automatic Verification of Sequential Infinite-State Processes Burkart
Kod Libristo: 06615459
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, grudzień 1997
This monograph provides information for theoreticians interested in algebraic theories, as well as f... Cały opis
? points 125 b
220.85 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Die Ursache Der Zusatzlichen Eisenverluste in Umlaufenden Glatten Ringankern Julius Wild / Książka Miękka
common.buy 226.82 zł
Der Reisende Ulrich Alexander Boschwitz / E-book Adobe ePub DRM
common.buy 46.96 zł
Spirit Island: Natur Erwacht (Erweiterung) / Gra/Zabawka Gra
common.buy 200.00 zł
Die Reiniger Henk Wester / Książka Miękka
common.buy 78.74 zł
porte dell'Ade. Eroi. La dea della luce Ivano Locatelli / Książka Twarda
common.buy 74.69 zł
EL JARD¡N DE LOS ABRAZOS JOSE ANTONIO LUENGO LATORRE / Książka Twarda
common.buy 79.14 zł
Cachoeiro de Itapemirim: seus cantos, encantos e contrapontos Roberto Carlos F. de Oliveira / Książka Miękka
common.buy 152.43 zł
Genie venge, poeme GUYETAND-C-M / Książka Miękka
common.buy 58.49 zł
Andare per la Sicilia dei greci Franco La Cecla / Książka Miękka
common.buy 57.28 zł
Recueil de Voyages Interessans Pour l'Instruction Et l'Amusement de la Jeunesse. Tome 4 Sans Auteur / Książka Miękka
common.buy 124.69 zł
L'influence du stress chez l'Infirmier Sapeur Pompiers en intervention Sokesara Tea / Książka Miękka
common.buy 111.13 zł
Agenda 21 Local Et Sig Didier Jean Yemba / Książka Miękka
common.buy 111.13 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Automatic Verification of Sequential Infinite-State Processes
Autor Burkart, O. (University of Dortmund, Germany)
Język Angielski
Oprawa Książka - Miękka
Data wydania 1997
Liczba stron 176
EAN 9783540639824
ISBN 9783540639824
Kod Libristo 06615459
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 284
Wymiary 155 x 235 x 10

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Matematyka i nauki ścisłe > Matematyka
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

U.S. History Activities: Interactive Learning Strategies and Enrichment Projects John Zola / Książka Miękka
common.buy 101.92 zł
Blue Yonder Justine Davis Randers-Pehrson / Książka Miękka
common.buy 70.44 zł
National Intelligencer Newspaper Abstracts Joan M Dixon / Książka Miękka
common.buy 208.10 zł
Cyprus Robert Hamilton Lang / Książka Miękka
common.buy 118.01 zł
Coexistence Danny Rittman / Książka Miękka
common.buy 57.99 zł
Empty Nest Karen Stabiner / Książka Twarda
common.buy 128.03 zł
Media and the Transformation of Religion in South Asia Lawrence A. Babb / Książka Twarda
common.buy 366.81 zł
Companion to Modern Art Pam Meecham / Książka Twarda
common.buy 877.36 zł
12 Critical Things Your Family Needs to Know Mark Gavagan / Książka Miękka
common.buy 78.74 zł
Combinatorial Pattern Matching Alberto Apostolico / Książka Miękka
common.buy 220.85 zł
Gin and Gingerbread Elizabeth Jeffrey / Książka Miękka
common.buy 127.42 zł
Darkest Star Jennifer L. Armentrout / Książka Miękka
common.buy 58.09 zł
Damaged Bonds Michael Eigen / Książka Twarda
common.buy 805.09 zł
Three Men in a Boat K. Jerome / Książka Miękka
common.buy 77.02 zł
Blippi: I Like That!: Blippi Coloring Book Editors of Studio Fun International / Książka Miękka
common.buy 20.34 zł
American Tang Soo Do Federation System: Orang Belt Student Manual David Wilson / Książka Miękka
common.buy 121.15 zł
Fundamentals of Statistical Inference Norbert Hirschauer / Książka Miękka
common.buy 231.28 zł
Traffic Engineering Franco Callegati / Książka Twarda
common.buy 142.61 zł
A History of German in 101 Words Charles V. J. Russ / Książka Miękka
common.buy 219.23 zł
TOP
Shake Hands With The Devil Romeo Dallaire / Książka Miękka
common.buy 59.51 zł
Between Slavery and Freedom Bill E. Lawson / Książka Miękka
common.buy 79.35 zł
History of the Incas Pedro Sarmiento de Gamboa / Książka Miękka
common.buy 139.07 zł
How to Draw Scott Robertson / Książka Twarda
common.buy 177.22 zł
Cambridge Introduction to the Old Norse-Icelandic Saga Margaret Clunies Ross / Książka Twarda
common.buy 527.24 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?