Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Sprache: Englisch

Verlag: Springer Berlin Heidelberg, 1985

3540151990 / 9783540151999

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 45,74

EUR 48,99 Versand 
Versand von Deutschland nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. On the relevance of formal methods to software development.- Combining algebraic and predicative specifications in Larch.- The role of proof obligations in software design.- Functional semantics of modules.- Intuition in software development.- A rational de.

Bestandsnummer des Verkäufers 4882518

Titel
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Autor
Ehrig, Hartmut|Floyd, Christiane|Nivat, Maurice|Thatcher, James
Verlag
Springer Berlin Heidelberg
Veröffentlichungsjahr
1985
Zustand
New
Einband
Softcover
Sprache
Englisch
ISBN-10
3540151990
ISBN-13
9783540151999
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

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

Shop-Beschreibung

Online Handel nur mit Neubüchern

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Moluna GmbH

Engberdingdamm 27
Greven, Deutschland 48268