Verwandte Artikel zu Logic in Computer Science: Modelling and Reasoning...
Inhaltsangabe
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Logic in Computer Science: Modelling and Reasoning...
Beispielbild für diese ISBN
Logic in Computer Science: Modelling and Reasoning about Systems
Verlag:
Cambridge University Press, 2004
ISBN 10: 052154310X
ISBN 13: 9780521543101
Gebraucht
Paperback
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Artikel-Nr. G052154310XI4N00
Gebraucht kaufen
EUR 25,81
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic in Computer Science: Modelling and Reasoning about Systems
Verlag:
Cambridge University Press, 2004
ISBN 10: 052154310X
ISBN 13: 9780521543101
Gebraucht
Paperback
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Artikel-Nr. G052154310XI4N00
Gebraucht kaufen
EUR 25,81
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic in Computer Science: Modelling and Reasoning about Systems
Verlag:
Cambridge University Press, 2004
ISBN 10: 052154310X
ISBN 13: 9780521543101
Gebraucht
Paperback
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Artikel-Nr. G052154310XI4N10
Gebraucht kaufen
EUR 25,83
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic in Computer Science : Modelling and Reasoning about Systems
Verlag:
Cambridge University Press, 2004
ISBN 10: 052154310X
ISBN 13: 9780521543101
Gebraucht
Softcover
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. 2nd Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Artikel-Nr. 10459356-20
Gebraucht kaufen
EUR 21,46
EUR 5,84 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Logic in Computer Science: Modelling and Reasoning about Systems
Verlag:
Cambridge University Press, 2004
ISBN 10: 052154310X
ISBN 13: 9780521543101
Gebraucht
Softcover
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Artikel-Nr. rev5104768014
Gebraucht kaufen
EUR 18,00
EUR 10,00 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic in Computer Science : Modelling and Reasoning about Systems
Verlag:
Cambridge University Press, 2004
ISBN 10: 052154310X
ISBN 13: 9780521543101
Gebraucht
Softcover
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. 2nd Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Artikel-Nr. 9009822-6
Gebraucht kaufen
EUR 32,99
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Logic in Computer Science: Modelling and Reasoning about Systems
Verlag:
Cambridge University Press, 2004
ISBN 10: 052154310X
ISBN 13: 9780521543101
Gebraucht
Paperback
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Artikel-Nr. GOR004319002
Gebraucht kaufen
EUR 28,36
EUR 6,54 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic in Computer Science: Modelling and Reasoning about Systems
Verlag:
Cambridge University Press, 2004
ISBN 10: 052154310X
ISBN 13: 9780521543101
Gebraucht
Softcover
Anbieter: medimops, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Artikel-Nr. M0052154310X-G
Gebraucht kaufen
EUR 31,92
EUR 20,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 3 verfügbar
Foto des Verkäufers
Logic in Computer Science: Modelling and Reasoning about Systems
Verlag:
Cambridge University Press, 2004
ISBN 10: 052154310X
ISBN 13: 9780521543101
Gebraucht
Softcover
Anbieter: Librería Vobiscum, SAN VICENTE DEL RASPEIG, A, Spanien
Verkäuferbewertung 5 von 5 Sternen
Zustand: Bueno. Cambridge 2004. Cambridge University Press. Rústica. 427 pp. 25x17. Texto en INGLÉS. Artikel-Nr. 111541
Gebraucht kaufen
EUR 34,00
EUR 30,95 Versand
Versand von Spanien nach USA
Versand von Spanien nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic in Computer Science: Modelling and Reasoning about Systems
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9780521543101_new
Neu kaufen
EUR 73,48
EUR 14,00 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar