Temporal Logic and State Systems - Fred Kröger
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre93,49 €
Produit Neuf
Ou 23,37 € /mois
- Livraison à 0,01 €
- Livré entre le 5 et le 12 mai
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540674016_dbm
Nos autres offres
-
91,93 €
Produit Neuf
Ou 22,98 € /mois
- Livraison : 25,00 €
- Livré entre le 19 et le 26 mai
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
-
92,06 €
Occasion · Comme Neuf
Ou 23,02 € /mois
- Livraison : 25,00 €
- Livré entre le 12 et le 22 mai
Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-... Voir plus
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Temporal Logic And State Systems de Fred Kröger Format Relié - Livre Informatique
0 avis sur Temporal Logic And State Systems de Fred Kröger Format Relié - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Canine Rehabilitation And Physical Therapy
Neuf dès 156,59 €
Occasion dès 123,46 €
-
Conformal Field Theory
Neuf dès 190,65 €
Occasion dès 130,39 €
-
Erazer Beast 16 X1 Ultimate (Md 62732) Intel Core Ultra 9 275hx Ordinateur Portable 16" Quad Hd+ 32 Go Ddr5-Sdram 2 To Ssd Nvidia Geforce Rtx 5090 Wi-Fi 6e (802.11ax) Windows 11 Home Noir
Neuf dès 107,15 €
-
Art Of Modern Rock
2 avis
Occasion dès 50,00 €
-
Fotografias 1976 - 2003 Photographs 1976 - 2003
Occasion dès 120,00 €
-
Diego Rivera. The Complete Murals
Neuf dès 97,04 €
Occasion dès 65,00 €
-
Francois Catroux
Occasion dès 71,38 €
-
Arda Reconstructed
Neuf dès 67,42 €
-
Hollywood Jewels: Movies, Jewelry, Stars
Occasion dès 106,99 €
-
Martin Chambi: 1920-1950 (Spanish Edition)
Occasion dès 87,72 €
-
Le Medecin Des Pauvres: 2000 Remèdes Et Savoirs De La Médecine Populaire (Édition Illustrée)
Occasion dès 65,89 €
-
Animal Eyes
Neuf dès 101,75 €
Occasion dès 114,87 €
-
Bernard Frize: Longues Lignes (Souvent Fermees)
Occasion dès 63,99 €
-
Conversations With Wilder
Occasion dès 105,00 €
-
Frobenius Splitting Methods In Geometry And Representation Theory
Occasion dès 69,32 €
-
Pomellato
Occasion dès 80,00 €
-
La Sante Interdite
Occasion dès 71,00 €
-
Warehouse Management
Neuf dès 66,26 €
-
Dosso Dossi: Court Painter In Renaissance Ferrara
Occasion dès 55,00 €
-
Professional Goldsmithing : A Contemporary Guide To Traditional Jewelry Techniques
Occasion dès 110,38 €
Produits similaires
Présentation Temporal Logic And State Systems de Fred Kröger Format Relié
- Livre Informatique
Résumé :
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic...
Biographie:
automata theoretical connections...
Sommaire:
TLA (Temporal Logic of Actions)...
From the reviews: In the book under review, significant new materials and approaches are included, in particular, branching time logics, expressiveness issues of temporal logic, aspects related to Lamport's Temporal Logic of Actions (TLA), and model checking methods. ... The book is well written and almost self-contained. It can be useful as an introduction and reference for scientists and practicing software engineers who want to familiarize themselves with the field. The book can be used for courses at the advanced undergraduate and the graduate levels. (Regimantas PliuSkevicius, Mathematical Reviews, Issue 2009 m) The book consists of 11 chapters, followed by a list of temporal logic laws and axiomatic systems, a bibliography with 161 references, and a subject index. Each chapter ends with brief bibliographic notes. ... This is a rich in content book, with many important topics and examples treated in much technical depth. ... a rich, useful, and valuable text, that can be recommended as a research reference, graduate course textbook, or a source for self-study on temporal logic in computer science.??? (Valentin Goranko, Studia Logica, Vol. 94, 2010)
Détails de conformité du produit
Personne responsable dans l'UE