Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Temporal Logic and State Systems

Език Английски езикАнглийски език
Книга С твърди корици
Книга Temporal Logic and State Systems Fred Kröger
Код Либристо: 01567359
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, март 2008
Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting fo... Цялото описание
? points 197 b
81.36 €
159.12  лв
Външен склад Изпращаме след 10-13 дни

30 дни за връщане на стоката

Клиентите са закупили също

PIANO TRIO -PARTITION+PARTIES SEPAREES WOLFGANG FORTNER Печатни материали Ноти
common.buy 48.57 € 95.00 лв
Изгодно
Juste une question de Temps Sarah Barzyk / Книга С меки корици
common.buy 9.70 € 18.97 лв
Mariage de Mlle Marguerite Dauve Avec M. Lucien Guy, 18 Novembre 1890 Romain Sourrieu / Книга С меки корици
common.buy 12.69 € 24.83 лв
Škola kreslení roztomilých příšerek Naomi Lord / Книга С меки корици
common.buy 15.12 € 29.57 лв
Civil Law Status Of Trade Marks Zafar Babakulov / Книга С меки корици
common.buy 67.68 € 132.36 лв
The Cruel Agreement - Versprochen an den Teufel / Книга С меки корици
common.buy 20.90 € 40.88 лв
Silberhaar (Wandkalender 2026 DIN A4 hoch), CALVENDO Monatskalender Calvendo / Календар/тефтер Календар
common.buy 20.70 € 40.48 лв
La Pandilla 2 Metodická příručka Elena González Hortelano / Книга С меки корици
common.buy 25.39 € 49.67 лв
Le rêve du collectionneur Pierre FURLAN Книга С меки корици
common.buy 30.76 € 60.17 лв
Sur le sentier du SISU - Pour développer l'énergie du gagnant en Soi - Livre + CD Saint-Laurent / Книга binding.
common.buy 32.00 € 62.59 лв
Le journal de bord d'une hôtesse de l'air Nadame / Книга С меки корици
common.buy 11.82 € 23.11 лв
Die Volkserhebung Der Jahre 1848 Und 1849 In Deutschland (1900) Otto Hartmann / Книга С меки корици
common.buy 29.68 € 58.05 лв
Historien om populära samtida uppfinningar Ashoka Jahnavi Prasad / Книга С меки корици
common.buy 10.32 € 20.18 лв
Actitud ANNE LACATON / Книга С меки корици
common.buy 16.15 € 31.59 лв
Heliotropismus der Tiere und seine UEbereinstimmung Jacques Loeb / Книга С меки корици
common.buy 16.10 € 31.49 лв
Erzahlung seiner Fluchtversuche aus Magdeburg nach eigenhandigen Aufzeichnungen Friedrich von Trenck / Книга С меки корици
common.buy 16.10 € 31.49 лв
Servicio Gallego de Salud. Temario común Miguel Ángel Estévez Fernández / Книга С меки корици
common.buy 68.30 € 133.57 лв
Chambre Des Deputes. Aux Chambres. Ne Precipitons Rien Ou Un Mot Sans Auteur / Книга С меки корици
common.buy 12.69 € 24.83 лв
Der Schatz auf Pagensand Uwe Timm / Книга С меки корици
common.buy 9.65 € 18.87 лв
Geheimcode B 13, 2 DVDs Armin Müller / Видео DVD
common.buy 18.73 € 36.64 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Temporal Logic and State Systems
Автор Fred Kröger, Stefan Merz
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2008
Брой страници 436
Баркод 9783540674016
ISBN 3540674012
Код Либристо 01567359
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 840
Размери 155 x 235 x 30

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Temporal Logic: Volume 1 Dov M. Gabbay / Книга С твърди корици
common.buy 512.89 € 1 003.13 лв
Fundamentals of Protein Structure and Function Engelbert Buxbaum / Книга С твърди корици
common.buy 148.47 € 290.38 лв
ROCKFORDS FORGOTTEN DRIVING PARK Amanda Becker / Книга С меки корици
common.buy 17.24 € 33.71 лв
Medical Terminology for Healthcare Translators: English-Spanish Medical Terms Jose Luis Leyva / Книга С меки корици
common.buy 13.88 € 27.15 лв
JOURNAL OF THE AMERICAN INSTITUTE OF ARC AMERICAN INSTITUTE O / Книга С твърди корици
common.buy 29.68 € 58.05 лв
National youth anti-drug media campaign: how to ensure the program operates efficiently and effectively United States Congress / Книга С меки корици
common.buy 21.99 € 43.00 лв
Too Fool For Cool BEN SCHNEIDER / Книга С меки корици
common.buy 25.08 € 49.06 лв
Work From Home- Work For Pain Tripti Pandey / Книга С меки корици
common.buy 57.40 € 112.27 лв
ANT Kevin Ingam / Книга С твърди корици
common.buy 38.04 € 74.41 лв
A History of Mongolian Shamanism Dalai Chuluunii / Книга С меки корици
common.buy 119.20 € 233.13 лв
100 UNOFF ROBLOX TOP 100 GAMES FARSHORE / Книга С твърди корици
common.buy 17.08 € 33.41 лв
Effect of Simulated Acid Rain on Sunflower Plant Nand Lal / Книга С меки корици
common.buy 61.12 € 119.54 лв
Growing Tinda gourd (Citrullus vulgaris L.) under saline environment Mujahid Ali / Книга С меки корици
common.buy 37.68 € 73.70 лв
Complete Shorter Fiction Herman Melville / Книга С твърди корици
common.buy 24.93 € 48.76 лв
Pop Harry Potter Holiday Dumbledore Vinyl Figure Funko / Игра/играчка Играчка
common.buy 16.36 € 32.00 лв
Electrochemical deposition of metals coatings Ahmed Y. Musa / Книга С меки корици
common.buy 46.25 € 90.46 лв
Fertilizer Requirements and Nutrient Dynamics in Teak Plantations Muhammad Tahir Siddiqui / Книга С меки корици
common.buy 70.72 € 138.32 лв
Biographical Dictionary of the History of Technology Ian McNeil / Книга С меки корици
common.buy 232.10 € 453.95 лв
Подготвяме
GIS for Group Decision Making Timothy L. Nyerges / Книга С твърди корици
common.buy 204.64 € 400.24 лв
Подготвяме
Platform Engineering with Fractal Architecture Angelo Nicolosi / Книга С меки корици
common.buy 47.59 € 93.09 лв
Ceramic Armor and Armor Systems - Ceramic Transactions V151 Eugene Medvedovsk / Книга С меки корици
common.buy 137.32 € 268.57 лв
Rover Joseph Conrad / Книга С меки корици
common.buy 18.37 € 35.94 лв
Fenians Patrick Steward / Книга С твърди корици
common.buy 50.23 € 98.23 лв
Behavioral High-Risk Paradigm in Psychopathology Gregory A. Miller / Книга С твърди корици
common.buy 162.41 € 317.64 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?