Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Temporal Logic and State Systems

Limba englezăengleză
Carte Copertă tare
Carte Temporal Logic and State Systems Fred Kröger
Codul Libristo: 01567359
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, martie 2008
Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting fo... Descrierea completă
? points 200 b
433.58 lei
În depozitul extern Expediem în 10-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Le rêve du collectionneur Pierre FURLAN Carte Carte broșată
common.buy 154.92 lei
The Cruel Agreement - Versprochen an den Teufel / Carte Carte broșată
common.buy 109.87 lei
PIANO TRIO -PARTITION+PARTIES SEPAREES WOLFGANG FORTNER Materiale tipărite Note muzicale
common.buy 244.41 lei
Mariage de Mlle Marguerite Dauve Avec M. Lucien Guy, 18 Novembre 1890 Romain Sourrieu / Carte Carte broșată
common.buy 70.02 lei
Škola kreslení roztomilých příšerek Naomi Lord / Carte Carte broșată
common.buy 75.22 lei
La Pandilla 2 Metodická příručka Elena González Hortelano / Carte Carte broșată
common.buy 133.49 lei
Silberhaar (Wandkalender 2026 DIN A4 hoch), CALVENDO Monatskalender Calvendo / Calendar / Agendă Calendar
common.buy 118.50 lei
Leftin
Juste une question de Temps Sarah Barzyk / Carte Carte broșată
common.buy 50.98 lei
Civil Law Status Of Trade Marks Zafar Babakulov / Carte Carte broșată
common.buy 381.76 lei
Sur le sentier du SISU - Pour développer l'énergie du gagnant en Soi - Livre + CD Saint-Laurent / Carte binding.
common.buy 161.17 lei
Le journal de bord d'une hôtesse de l'air Nadame / Carte Carte broșată
common.buy 59.40 lei
Die Volkserhebung Der Jahre 1848 Und 1849 In Deutschland (1900) Otto Hartmann / Carte Carte broșată
common.buy 163.56 lei
Historien om populära samtida uppfinningar Ashoka Jahnavi Prasad / Carte Carte broșată
common.buy 57.01 lei
Digitale Öffentlichkeit(en) Oliver Hahn / Carte Carte broșată
common.buy 168.76 lei
Actitud ANNE LACATON / Carte Carte broșată
common.buy 81.25 lei
Heliotropismus der Tiere und seine UEbereinstimmung Jacques Loeb / Carte Carte broșată
common.buy 120.90 lei
Erzahlung seiner Fluchtversuche aus Magdeburg nach eigenhandigen Aufzeichnungen Friedrich von Trenck / Carte Carte broșată
common.buy 125.89 lei
Servicio Gallego de Salud. Temario común Miguel Ángel Estévez Fernández / Carte Carte broșată
common.buy 344.71 lei
Chambre Des Deputes. Aux Chambres. Ne Precipitons Rien Ou Un Mot Sans Auteur / Carte Carte broșată
common.buy 70.02 lei
Der Schatz auf Pagensand Uwe Timm / Carte Carte broșată
common.buy 50.66 lei
Geheimcode B 13, 2 DVDs Armin Müller / Videoclip DVD
common.buy 98.32 lei
Das Alte Reich. Volker Press / Carte Carte broșată
common.buy 610.78 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Temporal Logic and State Systems
Autor Fred Kröger, Stefan Merz
Limba engleză
Legare Carte - Copertă tare
Data publicării 2008
Număr pagini 436
EAN 9783540674016
ISBN 3540674012
Codul Libristo 01567359
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 840
Dimensiuni 155 x 235 x 30

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Temporal Logic: Volume 1 Dov M. Gabbay / Carte Copertă tare
common.buy 2 694.00 lei
Koala Adults Coloring Book: Stress-relief Coloring Book For Grown-ups Balloon Publishing / Carte Carte broșată
common.buy 47.64 lei
Complete Shorter Fiction Herman Melville / Carte Copertă tare
common.buy 123.08 lei
100 UNOFF ROBLOX TOP 100 GAMES FARSHORE / Carte Copertă tare
common.buy 89.68 lei
Growing Tinda gourd (Citrullus vulgaris L.) under saline environment Mujahid Ali / Carte Carte broșată
common.buy 214.34 lei
Effect of Simulated Acid Rain on Sunflower Plant Nand Lal / Carte Carte broșată
common.buy 345.13 lei
A History of Mongolian Shamanism Dalai Chuluunii / Carte Carte broșată
common.buy 653.75 lei
Work From Home- Work For Pain Tripti Pandey / Carte Carte broșată
common.buy 324.11 lei
ANT Kevin Ingam / Carte Copertă tare
common.buy 199.77 lei
Too Fool For Cool BEN SCHNEIDER / Carte Carte broșată
common.buy 139.32 lei
Beyond Bend It Like Beckham Timothy F Grainey / Carte Carte broșată
common.buy 87.71 lei
National youth anti-drug media campaign: how to ensure the program operates efficiently and effectively United States Congress / Carte Carte broșată
common.buy 121.32 lei
JOURNAL OF THE AMERICAN INSTITUTE OF ARC AMERICAN INSTITUTE O / Carte Copertă tare
common.buy 163.56 lei
Medical Terminology for Healthcare Translators: English-Spanish Medical Terms Jose Luis Leyva / Carte Carte broșată
common.buy 76.68 lei
ROCKFORDS FORGOTTEN DRIVING PARK Amanda Becker / Carte Carte broșată
common.buy 96.24 lei
Pop Harry Potter Holiday Dumbledore Vinyl Figure Funko / Joc / Jucărie Jucărie
common.buy 81.46 lei
Fundamentals of Protein Structure and Function Engelbert Buxbaum / Carte Copertă tare
common.buy 838.75 lei
Electrochemical deposition of metals coatings Ahmed Y. Musa / Carte Carte broșată
common.buy 261.99 lei
Fertilizer Requirements and Nutrient Dynamics in Teak Plantations Muhammad Tahir Siddiqui / Carte Carte broșată
common.buy 389.56 lei
Biographical Dictionary of the History of Technology Ian McNeil / Carte Carte broșată
common.buy 1 219.06 lei
Curând
GIS for Group Decision Making Timothy L. Nyerges / Carte Copertă tare
common.buy 1 074.74 lei
Ceramic Armor and Armor Systems - Ceramic Transactions V151 Eugene Medvedovsk / Carte Carte broșată
common.buy 756.45 lei
Rover Joseph Conrad / Carte Carte broșată
common.buy 101.23 lei
Platform Engineering with Fractal Architecture Angelo Nicolosi / Carte Carte broșată
common.buy 255.23 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?