Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Temporal Logic and State Systems

Langue AnglaisAnglais
Livre Livre relié
Livre Temporal Logic and State Systems Fred Kröger
Code Libristo: 01567359
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mars 2008
Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting fo... Description détaillée
? points 197 b
80.59 € TVA incluse
Stockage externe Expédition sous 10-13 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Servicio Gallego de Salud. Temario común Miguel Ángel Estévez Fernández / Livre Livre de poche
common.buy 67.49 €
La Pandilla 2 Metodická příručka Elena González Hortelano / Livre Livre de poche
common.buy 25.19 €
Škola kreslení roztomilých příšerek Naomi Lord / Livre Livre de poche
common.buy 14.99 €
El banc blau ALBERT ASENSIO / Livre Livre relié
common.buy 22.29 €
Silberhaar (Wandkalender 2026 DIN A4 hoch), CALVENDO Monatskalender Calvendo / Calendrier/agenda Calendrier
common.buy 21.99 €
The Cruel Agreement - Versprochen an den Teufel / Livre Livre de poche
common.buy 22.00 €
Das Alte Reich. Volker Press / Livre Livre de poche
common.buy 142.69 €
W hołdzie Katalonii Orwell George / Livre Livre de poche
common.buy 11.89 €
Erzahlung seiner Fluchtversuche aus Magdeburg nach eigenhandigen Aufzeichnungen Friedrich von Trenck / Livre Livre de poche
common.buy 16.90 €
Civil Law Status Of Trade Marks Zafar Babakulov / Livre Livre de poche
common.buy 66.99 €
Abordable
Juste une question de Temps Sarah Barzyk / Livre Livre de poche
common.buy 9.59 €
Heliotropismus der Tiere und seine UEbereinstimmung Jacques Loeb / Livre Livre de poche
common.buy 16.90 €
Chambre Des Deputes. Aux Chambres. Ne Precipitons Rien Ou Un Mot Sans Auteur / Livre Livre de poche
common.buy 12.39 €
Mariage de Mlle Marguerite Dauve Avec M. Lucien Guy, 18 Novembre 1890 Romain Sourrieu / Livre Livre de poche
common.buy 13.19 €
PIANO TRIO -PARTITION+PARTIES SEPAREES WOLFGANG FORTNER Articles imprimés Partitions
common.buy 47.99 €
Le rêve du collectionneur Pierre FURLAN Livre Livre de poche
common.buy 30.39 €
Sur le sentier du SISU - Pour développer l'énergie du gagnant en Soi - Livre + CD Saint-Laurent / Livre binding.
common.buy 31.69 €
j’aime pas les bisous Monfils / Livre Livre relié
common.buy 17.29 €
Le journal de bord d'une hôtesse de l'air Nadame / Livre Livre de poche
common.buy 11.59 €
Die Volkserhebung Der Jahre 1848 Und 1849 In Deutschland (1900) Otto Hartmann / Livre Livre de poche
common.buy 30.79 €
Historien om populära samtida uppfinningar Ashoka Jahnavi Prasad / Livre Livre de poche
common.buy 10.69 €
Geheimcode B 13, 2 DVDs Armin Müller / Video DVD
common.buy 18.49 €
Der Schatz auf Pagensand Uwe Timm / Livre Livre de poche
common.buy 10.00 €
Actitud ANNE LACATON / Livre Livre de poche
common.buy 15.99 €

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.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Temporal Logic and State Systems
Auteur Fred Kröger, Stefan Merz
Langue Anglais
Reliure Livre - Livre relié
Date de parution 2008
Nombre de pages 436
EAN 9783540674016
ISBN 3540674012
Code Libristo 01567359
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 840
Dimensions 155 x 235 x 30

Catégories

Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Temporal Logic: Volume 1 Dov M. Gabbay / Livre Livre relié
common.buy 532.69 €
ROCKFORDS FORGOTTEN DRIVING PARK Amanda Becker / Livre Livre de poche
common.buy 18.09 €
Growing Tinda gourd (Citrullus vulgaris L.) under saline environment Mujahid Ali / Livre Livre de poche
common.buy 37.29 €
Effect of Simulated Acid Rain on Sunflower Plant Nand Lal / Livre Livre de poche
common.buy 60.59 €
ANT Kevin Ingam / Livre Livre relié
common.buy 38.29 €
Mesh Dependence in PDE-Constrained Optimisation Tobias Schwedes / Livre Livre de poche
common.buy 60.39 €
Lead in Soil WIXSON / Livre Livre relié
common.buy 144.89 €
Too Fool For Cool BEN SCHNEIDER / Livre Livre de poche
common.buy 26.29 €
Koala Adults Coloring Book: Stress-relief Coloring Book For Grown-ups Balloon Publishing / Livre Livre de poche
common.buy 8.99 €
National youth anti-drug media campaign: how to ensure the program operates efficiently and effectively United States Congress / Livre Livre de poche
common.buy 22.89 €
JOURNAL OF THE AMERICAN INSTITUTE OF ARC AMERICAN INSTITUTE O / Livre Livre relié
common.buy 30.79 €
Medical Terminology for Healthcare Translators: English-Spanish Medical Terms Jose Luis Leyva / Livre Livre de poche
common.buy 14.49 €
Nazir Akbarabadi - 'Father of the Nazm': Selected Poems Nazir Akbarabadi / Livre Livre de poche
common.buy 24.79 €
Cannonball Moments: Telling Your Story, Deepening Your Faith Eric A. Clayton / Livre Livre de poche
common.buy 15.49 €
Pop Harry Potter Holiday Dumbledore Vinyl Figure Funko / Jeu/jouet Jouet
common.buy 16.19 €
Work From Home- Work For Pain Tripti Pandey / Livre Livre de poche
common.buy 56.79 €
A History of Mongolian Shamanism Dalai Chuluunii / Livre Livre de poche
common.buy 117.99 €
100 UNOFF ROBLOX TOP 100 GAMES FARSHORE / Livre Livre relié
common.buy 16.89 €
Platform Engineering with Fractal Architecture Angelo Nicolosi / Livre Livre de poche
common.buy 48.09 €
A Worship Reader Ron Man / Livre Livre de poche
common.buy 21.19 €
Complete Shorter Fiction Herman Melville / Livre Livre relié
common.buy 24.59 €
Beyond Bend It Like Beckham Timothy F Grainey / Livre Livre de poche
common.buy 16.49 €
Behavioral High-Risk Paradigm in Psychopathology Gregory A. Miller / Livre Livre relié
common.buy 160.89 €
Fenians Patrick Steward / Livre Livre relié
common.buy 51.99 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?