Implicit and Explicit Semantics Integration in Proof Based Developments of Discrete Systems: Communications of Nii Shonan Meetings

Sprache: Englisch

Verlag: Springer Singapore, 2020

9811550530 / 9789811550539

Anbieter: moluna, Greven, Deutschlandmoluna

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 9. Juli 2020

Hardcover

Zustand: Neu

EUR 92,27

EUR 48,99 Versand 
Versand von Deutschland nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides an introduction to formal techniques for domain knowledge and formal system modellingSummarises the latest studies in handling explicit and implicit semantics in formal system developmentReviews various approaches and lessons learnt in fo.

Bestandsnummer des Verkäufers 362613515

Titel
Implicit and Explicit Semantics Integration in Proof Based Developments of Discrete Systems: Communications of Nii Shonan Meetings
Autor
Ait-Ameur, Yamine|Nakajima, Shin|Méry, Dominique
Verlag
Springer Singapore
Erscheinungsjahr
2020
Zustand
New
Einband
Gebunden
Sprache
Englisch
ISBN-10
9811550530
ISBN-13
9789811550539

moluna

Greven, Deutschland

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 9. Juli 2020

Versandkosten von Deutschland nach USA

Artikel26 bis 60 Werktage26 bis 60 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

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • PayPal
  • Vorauskasse

Shopbeschreibung

Online Handel nur mit Neubüchern

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Moluna GmbH

Engberdingdamm 27
Greven, Deutschland 48268

Impressum

Gesetzliche Anbieterkennung:

Moluna GmbH
diese vertr. d. d. Geschäftsführer Helge Blischke
Engberdingdamm 27
48268 Greven
Deutschland
Telefon: 02571/5698933
Telefax: 02571/5698930
E-Mail: abe@moluna.de
USt-IdNr.: DE296281834
eingetragen im Handelsregister des Amtsgerichtes Steinfurt
Handelsregisternummer HRB 10553

Wir sind nicht bereit und nicht verpflichtet, an Streitbeilegungsverfahren vor Verbraucherschlichtungsstellen teilzunehmen.

Wir sind seit 24.07.2015 Mitglied der Initiative "FairCommerce".
Nähere Informationen hierzu finden Sie unter www.haendlerbund.de/faircommerce -- [www.haendlerbund.de/faircommerce]