Criteria for the Development, Realization, and Endorsement of Formal Specification and Verification Tools Kriterien f�r die Entwicklung, Realisierung und Zulassung von Werkzeugen zur formalen Spezifikation und Verifikation

Publisher

German Information Security Agency Bonn

Publication Date

1990

Language

German

Binding

Pappe 15*21

Condition

Gut

Weight

400 grams

Seller catalogs

Fachb�cher - Sonstiges

Store Description

Onlineversandantquariat

Visit Seller's Storefront

Seller's business information

ralfs-buecherkiste
MOL, Germany

Sale & Shipping Terms

Terms of Sale

Allgemeine Gesch�ftsbedingungen und Kundeninformationen / Datenschutzerkl�rung

Allgemeine Gesch�ftsbedingungen und Kundeninformationen/Datenschutzerkl�rung

I. Allgemeine Gesch�ftsbedingungen

� 1 Grundlegende Bestimmungen

(1) Die nachstehenden Gesch�ftsbedingungen gelten f�r Vertr�ge, die Sie mit uns als Anbieter (Ralf Neubauer) �ber die Internetplattformen AbeBooks und/oder ZVAB schlie�en. Soweit nicht anders vereinbart, wird der Einbeziehung gegebenenfalls von Ihnen verwendeter eigener Bedingun...

More Information

Shipping Terms

Die Ware wird in der Regel innerhalb von 2-3 Tagen nach Zahlungseingang verschickt. �ber abweichende Kosten (z.B. wegen eines sehr schweren Buches) werden Sie gegebenenfalls informiert.

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	30 to 45 business days	10 to 14 business days
First item	US$ 123.16	US$ 152.49

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment Methods

Check Cash PayPal Invoice Bank/Wire Transfer

Add to Wants