Logic-Based Program Synthesis and Transformation

Sprache: Englisch

Verlag: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011

364220550X / 9783642205507

Anbieter: Rarewaves.com UK, London, Vereinigtes KönigreichRarewaves.com UK

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei ZVAB seit 11. Juni 2025

Softcover

Zustand: Neu

EUR 65,41

EUR 77,97 Versand 
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Bestandsnummer des Verkäufers LU-9783642205507

Titel
Logic-Based Program Synthesis and Transformation
Autor
María Alpuente
Verlag
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE
Erscheinungsjahr
2011
Zustand
New
Einband
Paperback
Sprache
Englisch
ISBN-10
364220550X
ISBN-13
9783642205507
Auflage
2011th.
Artikelgewicht
408 Gramm
Abmessungen
15.49 x 1.5 x 23.5 cm

Rarewaves.com UK

London, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei ZVAB seit 11. Juni 2025

Versandkosten von Vereinigtes Königreich nach USA

Artikel60 bis 60 Werktage60 bis 60 Werktage
Erster ArtikelEUR 77,97EUR 119,96
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

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, Vereinigtes Königreich W1W 8BE