Frontiers of Combining Systems: 10th International Symposium, Frocos 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Lutz, Carsten (Editor)/ Ranise, Silvio (Editor)

ISBN 10: 3319242458 ISBN 13: 9783319242453

Verlag: Springer-Verlag New York Inc, 2015

Sprache: Englisch

Zustand: Neu Softcover

F�r sp�ter vormerken

Verkauft von Revaluation Books, Exeter, Vereinigtes K�nigreich

AbeBooks-Verk�ufer seit 6. Januar 2003

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Neu - Softcover

Zustand: Neu

Preis: EUR 79,73 W�hrung umrechnen

EUR 11,59 f�r den Versand von Vereinigtes K�nigreich nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 2 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

376 pages. 9.00x6.00x0.75 inches. In Stock.

Bestandsnummer des Verk�ufers x-3319242458

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Frontiers of Combining Systems: 10th International Symposium, Frocos 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Verlag

Springer-Verlag New York Inc

Erscheinungsjahr

2015

Sprache

Englisch

ISBN-10

3319242458

ISBN-13

9783319242453

Einband

Paperback

Zustand

Brand New

Verk�uferkataloge

�ber diesen Titel

Inhaltsangabe

This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015.

The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length.

Rese�a del editor

This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015.

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

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Edward Bowditch Ltd
Exstowe, Exton, Exeter, EX3 0PP, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch

Widerrufsbelehrung

Versandbedingungen

Orders usually dispatched within two working days.

Versandkosten von Vereinigtes K�nigreich nach Deutschland

Versandkosten von Vereinigtes K�nigreich nach Deutschland
Bestellmenge	7 bis 21�Werktage	2 bis 5�Werktage
Erster Artikel	EUR 11.59	EUR 23.19

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.