Termination Proofs for Logic Programs

Sprache: Englisch

Verlag: Springer Berlin Heidelberg, 1990

3540528377 / 9783540528371

Anbieter: moluna, Greven, Deutschlandmoluna

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 9. Juli 2020

Artikel dieses Verkäufers ansehen
Softcover

Zustand: Neu

EUR 48,37

EUR 48,99 Versand 
Versand von Deutschland nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Artikelbeschreibung vom Verkäufer

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope that termination proofs for nontrivial programs could be achiev.

Bestandsnummer des Verkäufers 4892538

Titel
Termination Proofs for Logic Programs
Autor
Lutz Plümer
Verlag
Springer Berlin Heidelberg
Veröffentlichungsjahr
1990
Zustand
New
Einband
Softcover
Sprache
Englisch
ISBN-10
3540528377
ISBN-13
9783540528371
Verkäuferkataloge
Mathematik/Naturwissenschaften/Technik/Medizin

moluna

Greven, Deutschland

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 9. Juli 2020

Versandkosten von Deutschland nach USA

Artikel16 bis 45 Werktage16 bis 45 Werktage
Erster ArtikelEUR 48,99EUR 48,99
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.

Zahlungsarten

VisaMastercardAmerican ExpressCarte BleueApple PayGoogle Pay
BanküberweisungPayPalVorauskasse

Shop-Beschreibung

Online Handel nur mit Neubüchern

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Moluna GmbH

Engberdingdamm 27
Greven, Deutschland 48268