Articles liés à Temporal Logic: First International Conference, ICTL...
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings - Couverture souple
Synopsis
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.
Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2008
- ISBN 10 354058241X
- ISBN 13 9783540582410
- ReliureBroché
- Langueanglais
- Nombre de pages564
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 106,99
EUR 10,99 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Temporal Logic: First International Conference, ICTL...
Image fournie par le vendeur
Temporal Logic: First International Conference, ICTL '94 Lecture Notes in Computer Science 827
Edité par
Springer Verlag;, 1994
ISBN 10 : 354058241X
ISBN 13 : 9783540582410
Ancien ou d'occasion
Broschiert
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Broschiert. Etat : Gut. 545 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Englisch Gewicht in Gramm: 720. N° de réf. du vendeur 1453290
Quantité disponible : 1 disponible(s)
Image d'archives
Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Edité par
Springer Berlin Heidelberg, 1994
ISBN 10 : 354058241X
ISBN 13 : 9783540582410
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 564 | Sprache: Englisch | Produktart: Sonstiges. N° de réf. du vendeur 840928/202
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Edité par
Springer Berlin Heidelberg, 1994
ISBN 10 : 354058241X
ISBN 13 : 9783540582410
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers. N° de réf. du vendeur 9783540582410
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Temporal Logic
Edité par
Springer Berlin Heidelberg Jun 1994, 1994
ISBN 10 : 354058241X
ISBN 13 : 9783540582410
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers. 564 pp. Englisch. N° de réf. du vendeur 9783540582410
Quantité disponible : 2 disponible(s)
Image d'archives
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science, 827)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540582410_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Temporal Logic
Edité par
Springer Berlin Heidelberg, 1994
ISBN 10 : 354058241X
ISBN 13 : 9783540582410
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL 94), held at Bonn, Germany in July 1994.Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numero. N° de réf. du vendeur 4894627
Quantité disponible : Plus de 20 disponibles
Image d'archives
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science, 827)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020171397
Quantité disponible : Plus de 20 disponibles