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 11.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
223.34 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 229.37 zł
Der Reisende Ulrich Alexander Boschwitz / E-book Adobe ePub DRM
common.buy 47.48 zł
Die Reiniger Henk Wester / Książka Miękka
common.buy 79.62 zł
Spirit Island: Natur Erwacht (Erweiterung) / Gra/Zabawka Gra
common.buy 202.05 zł
porte dell'Ade. Eroi. La dea della luce Ivano Locatelli / Książka Twarda
common.buy 74.30 zł
LA BALADA DEL NORTE 3 ALFONSO ZAPICO / Książka Twarda
common.buy 92.73 zł
EL JARD¡N DE LOS ABRAZOS JOSE ANTONIO LUENGO LATORRE / Książka Twarda
common.buy 63.04 zł
Cachoeiro de Itapemirim: seus cantos, encantos e contrapontos Roberto Carlos F. de Oliveira / Książka Miękka
common.buy 154.14 zł
Genie venge, poeme GUYETAND-C-M / Książka Miękka
common.buy 59.15 zł
Andare per la Sicilia dei greci Franco La Cecla / Książka Miękka
common.buy 88.63 zł
Recueil de Voyages Interessans Pour l'Instruction Et l'Amusement de la Jeunesse. Tome 4 Sans Auteur / Książka Miękka
common.buy 109.72 zł
Agenda 21 Local Et Sig Didier Jean Yemba / Książka Miękka
common.buy 112.38 zł
L'influence du stress chez l'Infirmier Sapeur Pompiers en intervention Sokesara Tea / Książka Miękka
common.buy 112.38 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ć

Prince and the Purple Rain Era Studio Sessions Duane Tudahl / Książka Miękka
common.buy 114.53 zł
Blue Yonder Justine Davis Randers-Pehrson / Książka Miękka
common.buy 71.23 zł
Cyprus Robert Hamilton Lang / Książka Miękka
common.buy 119.34 zł
Coexistence Danny Rittman / Książka Miękka
common.buy 58.64 zł
Empty Nest Karen Stabiner / Książka Twarda
common.buy 129.47 zł
Media and the Transformation of Religion in South Asia Lawrence A. Babb / Książka Twarda
common.buy 378.41 zł
Companion to Modern Art Pam Meecham / Książka Twarda
common.buy 887.23 zł
12 Critical Things Your Family Needs to Know Mark Gavagan / Książka Miękka
common.buy 79.62 zł
U.S. History Activities: Interactive Learning Strategies and Enrichment Projects John Zola / Książka Miękka
common.buy 103.06 zł
Gin and Gingerbread Elizabeth Jeffrey / Książka Miękka
common.buy 128.86 zł
National Intelligencer Newspaper Abstracts Joan M Dixon / Książka Miękka
common.buy 188.12 zł
Traffic Engineering Franco Callegati / Książka Twarda
common.buy 144.21 zł
Fundamentals of Statistical Inference Norbert Hirschauer / Książka Miękka
common.buy 267.66 zł
Darkest Star Jennifer L. Armentrout / Książka Miękka
common.buy 53.01 zł
Damaged Bonds Michael Eigen / Książka Twarda
common.buy 858.88 zł
Three Men in a Boat K. Jerome / Książka Miękka
common.buy 77.88 zł
Blippi: I Like That!: Blippi Coloring Book Editors of Studio Fun International / Książka Miękka
common.buy 20.56 zł
American Tang Soo Do Federation System: Orang Belt Student Manual David Wilson / Książka Miękka
common.buy 122.51 zł
Happy Birthday Irina - The Big Birthday Activity Book: (Personalized Children's Activity Book) Birthdaydr / Książka Miękka
common.buy 44.62 zł
The Memoirs of Sherlock Holmes Larvae Editions / Książka Miękka
common.buy 48.40 zł
Kinks Carey Fleiner / Książka Twarda
common.buy 246.78 zł
Combinatorial Pattern Matching Alberto Apostolico / Książka Miękka
common.buy 223.34 zł
Cambridge Introduction to the Old Norse-Icelandic Saga Margaret Clunies Ross / Książka Twarda
common.buy 533.17 zł
TOP
How to Draw Scott Robertson / Książka Twarda
common.buy 179.22 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?