Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Temporal Logic

Name: Temporal Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05274404
Price: 41522 HUF
Availability: InStock
Author: Dov M. Gabbay
ISBN: 9783540582410

First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings

Dov M. Gabbay

Hans J. Ohlbach

Language

English

Book Paperback

Libristo code: 05274404

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 1994

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICT... Full description

Libristo code: 05274404

285 b

41 522 Ft

Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Endokrinologie Michael Krieg

Paperback

29 570 Ft

Gespräche mit Tieren Penelope Smith

Hardback

6 103 Ft

Rocco Randale 09 - Erste Hilfe mit Senf Alan MacDonald

Hardback

3 530 Ft

Dormi bene, piccolo lupo - Aludj jol, Kisfarkas (italiano - ungherese) Ulrich Renz

Paperback

5 500 Ft

PAYBACK 2014, 1 Blu-ray John/Bryan Cena

Blu-ray

7 212 Ft

Pop for Violin, m. Audio-CD. Vol.2

Paperback

8 726 Ft

Unterredung zwischen einem Deutschen Reichsfursten und einem seiner Rate Schulin

Paperback

4 524 Ft

Liebesfreud - Liebesleid Fritz Kreisler

Sheet music

9 605 Ft

Apport me thodologique a la conception et mise en oeuvre des projets Alejandro Sandoval-Correa

Paperback

23 743 Ft

Pieces de Poesie Pour Le Prix de l'Annee 1706 Sans Auteur

Paperback

4 625 Ft

Diercke Geographie - Ausgabe 2008 Sachsen-Anhalt Notburga Protze

Sheet

2 890 Ft

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.

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Temporal Logic

Author Dov M. Gabbay, Hans J. Ohlbach

Language

English

Binding Book - Paperback

Date of issue 1994

Number of pages 551

EAN 9783540582410

ISBN 354058241X

Libristo code 05274404

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Weight 1740

Dimensions 155 x 235 x 31

You might also be interested in

Temporal Logic: Volume 2 Dov M. Gabbay

Hardback

115 877 Ft

Temporal Logic: Volume 1 Dov M. Gabbay

Hardback

190 282 Ft

Digital Nomad Secrets: A Step-By-Step Guide To Working Digitally From Anywhere In The World Ron Kness

Paperback

7 387 Ft

Toy Australian Shepherd. Toy Australian Shepherd Dog Complete Owners Manual. Toy Australian Shepherd book for care, costs, feeding, grooming, health a George Hoppendale

Paperback

5 923 Ft