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 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Temporal Logic and State Systems

Język AngielskiAngielski
Książka Twarda
Książka Temporal Logic and State Systems Fred Kröger
Kod Libristo: 01567359
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2008
Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting fo... Cały opis
? points 187 b
328.02 zł
Dostępna u dostawcy Wysyłamy za 10-13 dni

30 dni na zwrot towaru

Klienci kupili także

Tanie
Juste une question de Temps Sarah Barzyk / Książka Miękka
common.buy 41.27 zł
Le rêve du collectionneur Pierre FURLAN Książka Miękka
common.buy 125.34 zł
PIANO TRIO -PARTITION+PARTIES SEPAREES WOLFGANG FORTNER Prasa Nuty
common.buy 197.75 zł
Mariage de Mlle Marguerite Dauve Avec M. Lucien Guy, 18 Novembre 1890 Romain Sourrieu / Książka Miękka
common.buy 54.03 zł
Škola kreslení roztomilých příšerek Naomi Lord / Książka Miękka
common.buy 60.86 zł
La Pandilla 2 Metodická příručka Elena González Hortelano / Książka Miękka
common.buy 107.96 zł
Civil Law Status Of Trade Marks Zafar Babakulov / Książka Miękka
common.buy 271.78 zł
Silberhaar (Wandkalender 2026 DIN A4 hoch), CALVENDO Monatskalender Calvendo / Kalendarz/Pamiętnik Kalendarz
common.buy 83.05 zł
The Cruel Agreement - Versprochen an den Teufel / Książka Miękka
common.buy 83.76 zł
Sur le sentier du SISU - Pour développer l'énergie du gagnant en Soi - Livre + CD Saint-Laurent / Książka binding.
common.buy 130.46 zł
Le journal de bord d'une hôtesse de l'air Nadame / Książka Miękka
common.buy 48.00 zł
Die Volkserhebung Der Jahre 1848 Und 1849 In Deutschland (1900) Otto Hartmann / Książka Miękka
common.buy 126.24 zł
Historien om populära samtida uppfinningar Ashoka Jahnavi Prasad / Książka Miękka
common.buy 43.78 zł
Digitale Öffentlichkeit(en) Oliver Hahn / Książka Miękka
common.buy 129.05 zł
Actitud ANNE LACATON / Książka Miękka
common.buy 65.78 zł
Heliotropismus der Tiere und seine UEbereinstimmung Jacques Loeb / Książka Miękka
common.buy 64.67 zł
Erzahlung seiner Fluchtversuche aus Magdeburg nach eigenhandigen Aufzeichnungen Friedrich von Trenck / Książka Miękka
common.buy 64.67 zł
Servicio Gallego de Salud. Temario común Miguel Ángel Estévez Fernández / Książka Miękka
common.buy 278.91 zł
Chambre Des Deputes. Aux Chambres. Ne Precipitons Rien Ou Un Mot Sans Auteur / Książka Miękka
common.buy 54.03 zł
Der Schatz auf Pagensand Uwe Timm / Książka Miękka
common.buy 38.76 zł
Geheimcode B 13, 2 DVDs Armin Müller / Wideo DVD
common.buy 75.72 zł
Das Alte Reich. Volker Press / Książka Miękka
common.buy 494.25 zł

Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting for the specification and verification of state based systems. This book, based on manifold university lectures given by the authors, gives a comprehensive description of this field. It presents concisely and uniformly the up to date material of the theory and applications of linear and branching time Temporal Logic, Temporal Logic of Actions, automata theoretical connections, model checking and others. All theoretical details as well as the numerous application examples are elaborated carefully and with all formal rigor, so intended to serve as a basic source and reference for active lectures and researchers.

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 Temporal Logic and State Systems
Autor Fred Kröger, Stefan Merz
Język Angielski
Oprawa Książka - Twarda
Data wydania 2008
Liczba stron 436
EAN 9783540674016
ISBN 3540674012
Kod Libristo 01567359
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 840
Wymiary 155 x 235 x 30

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
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ć

Temporal Logic: Volume 1 Dov M. Gabbay / Książka Twarda
common.buy 2 088.91 zł
Beyond Bend It Like Beckham Timothy F Grainey / Książka Miękka
common.buy 66.98 zł
Pop Harry Potter Holiday Dumbledore Vinyl Figure Funko / Gra/Zabawka Zabawka
common.buy 73.31 zł
ROCKFORDS FORGOTTEN DRIVING PARK Amanda Becker / Książka Miękka
common.buy 73.31 zł
Medical Terminology for Healthcare Translators: English-Spanish Medical Terms Jose Luis Leyva / Książka Miękka
common.buy 59.05 zł
JOURNAL OF THE AMERICAN INSTITUTE OF ARC AMERICAN INSTITUTE O / Książka Twarda
common.buy 126.24 zł
National youth anti-drug media campaign: how to ensure the program operates efficiently and effectively United States Congress / Książka Miękka
common.buy 93.40 zł
Too Fool For Cool BEN SCHNEIDER / Książka Miękka
common.buy 106.56 zł
ANT Kevin Ingam / Książka Twarda
common.buy 154.67 zł
Work From Home- Work For Pain Tripti Pandey / Książka Miękka
common.buy 230.40 zł
A History of Mongolian Shamanism Dalai Chuluunii / Książka Miękka
common.buy 480.39 zł
Effect of Simulated Acid Rain on Sunflower Plant Nand Lal / Książka Miękka
common.buy 245.46 zł
Growing Tinda gourd (Citrullus vulgaris L.) under saline environment Mujahid Ali / Książka Miękka
common.buy 151.25 zł
100 UNOFF ROBLOX TOP 100 GAMES FARSHORE / Książka Twarda
common.buy 67.99 zł
Complete Shorter Fiction Herman Melville / Książka Twarda
common.buy 99.52 zł
Electrochemical deposition of metals coatings Ahmed Y. Musa / Książka Miękka
common.buy 185.60 zł
Fertilizer Requirements and Nutrient Dynamics in Teak Plantations Muhammad Tahir Siddiqui / Książka Miękka
common.buy 300.70 zł
Biographical Dictionary of the History of Technology Ian McNeil / Książka Miękka
common.buy 943.41 zł
Zapowiedź
GIS for Group Decision Making Timothy L. Nyerges / Książka Twarda
common.buy 828.20 zł
Fundamentals of Protein Structure and Function Engelbert Buxbaum / Książka Twarda
common.buy 598.00 zł
Ceramic Armor and Armor Systems - Ceramic Transactions V151 Eugene Medvedovsk / Książka Miękka
common.buy 583.64 zł
Rover Joseph Conrad / Książka Miękka
common.buy 78.03 zł
Zapowiedź
Platform Engineering with Fractal Architecture Angelo Nicolosi / Książka Miękka
common.buy 190.42 zł
Fenians Patrick Steward / Książka Twarda
common.buy 213.52 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?