- 5 Ergebnisse
Kleinster Preis: € 19,18, größter Preis: € 69,01, Mittelwert: € 33,56
1
Logic in Computer Science, 10th Symposium on (Lics '95) - Kozen, Dexter
Bestellen
bei BetterWorldBooks.com
$ 78,91
(ca. € 69,01)
Bestellen
Details und Versand
gesponserter Link
Kozen, Dexter:

Logic in Computer Science, 10th Symposium on (Lics '95) - gebrauchtes Buch

ISBN: 9780818670503

The proceedings of LICS'95 comprise technical papers on topics in program logics, finite models, model checking and verification, theorem proving and AI, concurrency, semantics, lambda ca… Mehr…

  - Versandkosten:zzgl. Versandkosten.
zuklappen (X)
2
Bestellen
bei AbeBooks.de
€ 19,18
Versand: € 6,421
Bestellen
Details beim Anbieter
gesponserter Link

Dexter Kozen:

Tenth Annual IEEE Symposium on Logic in Computer Science: Proceedings, June 26-29, 1995, San Diego, California - gebrauchtes Buch

1995, ISBN: 0818670509

[EAN: 9780818670503], Gebraucht, sehr guter Zustand, [PU: Ieee Computer Society], Philosophy|Logic, Computers & the Internet|Computer Science, Ships from the UK. Former Library book. Grea… Mehr…

  - NOT NEW BOOK. Versandkosten: EUR 6.42 Better World Books Ltd, Dunfermline, United Kingdom [53572034] [Rating: 5 (von 5)]
zuklappen (X)
3
Bestellen
bei Biblio.com
$ 25,48
(ca. € 21,73)
Versand: € 5,121
Bestellen
Details beim Anbieter
gesponserter Link
Dexter Kozen:
Tenth Annual IEEE Symposium on Logic in Computer Science: Proceedings, June 26-29, 1995, San Diego, California - gebrauchtes Buch

1995

ISBN: 9780818670503

Ieee Computer Society. Used - Very Good. Ships from the UK. Former Library book. Great condition for a used book! Minimal wear. 100% Money Back Guarantee. Your purchase also supports li… Mehr…

  - Versandkosten: EUR 5.12 Better World Books Ltd
zuklappen (X)
4
Bestellen
bei alibris.com
€ 29,61
Bestellen
Details und Versand
gesponserter Link
Dexter Kozen:
Tenth Annual Ieee Symposium on Logic in Computer Science: Proceedings, June 26-29, 1995, San Diego, California - Taschenbuch

1995, ISBN: 9780818670503

Paperback, Gebraucht, sehr guter Zustand, Ships from the UK. Former Library book. Great condition for a used book! Minimal wear. Your purchase also supports literacy charities., [PU: IEEE… Mehr…

  - Versandkosten:zzgl. Versandkosten Better World Books UK
zuklappen (X)
5
Bestellen
bei alibris.com
€ 28,29
Bestellen
Details und Versand
gesponserter Link
Dexter Kozen:
Tenth Annual Ieee Symposium on Logic in Computer Science: Proceedings, June 26-29, 1995, San Diego, California - Taschenbuch

1995, ISBN: 9780818670503

Paperback, Used, very good, Ships from the UK. Former Library book. Great condition for a used book! Minimal wear. Your purchase also supports literacy charities., [PU: IEEE Computer Soci… Mehr…

  - Versandkosten:zzgl. Versandkosten Better World Books UK
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Logic in Computer Science
Autor:
Titel:
ISBN-Nummer:

0818670509


The proceedings of LICS'95 comprise technical papers on topics in program logics, finite models, model checking and verification, theorem proving and AI, concurrency, semantics, lambda calculus and types, unification and rewriting, and linear logic. There are also four invited presentations: a complete proof system for QPTL; the semantic challenge of Verilog HDL; experience using type theory as a foundation for computer science; and origins and metamorphoses of the trinity logic, nets, automata. No index. Annotation copyright Book News, Inc. Portland, Or.

Detailangaben zum Buch - Logic in Computer Science


EAN (ISBN-13): 9780818670503
ISBN (ISBN-10): 0818670509
Taschenbuch
Erscheinungsjahr: 1996
Herausgeber: IEEE Computer Society Press,U.S.

Buch in der Datenbank seit 2014-10-02T14:36:40+02:00 (Berlin)
Detailseite zuletzt geändert am 2018-10-10T15:14:50+02:00 (Berlin)
ISBN/EAN: 0818670509

ISBN - alternative Schreibweisen:
0-8186-7050-9, 978-0-8186-7050-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: kozen
Titel des Buches: logic computer science

< zum Archiv...