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. Bestandsnummer des Verk�ufers M0052154310X-G

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Logic in Computer Science: Modelling and ...

Verlag: Cambridge University Press

Erscheinungsdatum: 2004

Einband: Softcover

Zustand: good

Auflage: 2. Auflage

�ber diesen Titel

Inhaltsangabe:

This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.

Cr�ticas:

'... an unusual, inspiring and remarkable book ... one can find in it all the material which is suitable for undergraduate and beginning graduate students in computer science and electrical engineering who will profit by using it in their professional activities in the near future.' Zentralblatt MATH

'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.' Phinews

'This book provides an elegant introduction to formal reasoning that is relevant to computation science. This second edition improves the first one with extra and expanded sections on temporal logic model checking, SAT solvers, second-order logic, the Alloy specification language, and programming by contract. The material is up-to-date and practical ...' Zentralblatt MATH

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

**WILLKOMMEN** im AbeBooks Shop von medimops - dein Onlineshop mit der gr��ten Auswahl an Second Hand B�chern. St�ber dich durch �ber 4 Millionen Artikel und spare bis zu 70 % im Vergleich zum Neupreis. Wir pr�fen alle Artikel sorgf�ltig auf Qualit�t und Funktionalit�t. **WELCOME** to the medimop's AbeBooks shop, the online shop with a large range of second-hand books. Browse more than 4 million articles and save up to 70% on the new price. All our articles are quality checked. ** BIENVENUE ** dans la boutique AbeBooks de momox shop! Sp�cialiste des articles culturels d'occasion, nous vous offrons une gamme diversifi�e de livres d'occasion. D�couvrez nos offres et �conomisez jusqu'� 70% du prix neuf! Nous grarantissons tous nos articles en bon �tat. ** BENVENUTI ** nello shop medimops di AbeBooks, lo shop online per i libri usati. Abbiamo piu�di 4 milioni di articoli e potete risparmiare fino al 70% rispetto al nuovo. Tutti i nostri prodotti sono controllati a mano per garantire la massima qualit�. ** BIENVENIDO ** a la tienda de medimops en AbeBooks, la tienda online con una gran oferta de libros de segunda mano. Navegue por m�s de 4 millones de art�culos y ahorre hasta un 70% sobre el precio nuevo. Todos nuestros art�culos son de calidad comprobada.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

momox SE
Schreiberhauer Stra�e 30, Berlin, 10317, Germany

Gesch�ftsbedingungen:

1. Geltungsbereich

F�r alle Bestellungen �ber unseren Shop auf dem AbeBooks Marketplace gelten die nachfolgenden AGB. Soweit nicht anders vereinbart, wird der Einbeziehung gegebenenfalls von Ihnen verwendeter eigener Bedingungen widersprochen.

2. Vertragspartner, Vertragsschluss, Korrekturm�glichkeiten

Der Kaufvertrag kommt zustande mit momox SE.

Gegenstand des Vertrages ist der Verkauf von Waren.

Wird ein Artikel von uns bei AbeBooks eingestellt, liegt in der Freischaltung der Angebotsseite bei...

Mehr Information

Versandinformationen:

Impressum & Info zum Verk�ufer

Zahlungsarten
akzeptiert von diesem Verk�ufer