Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Roggenbach, Markus/ Cerone, Antonio/ Schlingloff, Bernd-Holger/ Schneider, Gerardo/ Shaikh, Siraj Ahmed

ISBN 10: 3030388026 ISBN 13: 9783030388027

Verlag: Springer, 2023

Sprache: Englisch

Neu Zustand: Brand New Softcover

F�r sp�ter vormerken

Verk�ufer Revaluation Books, Exeter, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 6. Januar 2003

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Neu - Softcover

Preis: EUR 91,67 W�hrung umrechnen

EUR 11,75 f�r den Versand von Vereinigtes K�nigreich nach USA Versandziele, Kosten & Dauer

Anzahl: 2 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

552 pages. 9.25x6.10x1.30 inches. In Stock. Bestandsnummer des Verk�ufers x-3030388026

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Formal Methods for Software Engineering: ...

Verlag: Springer

Erscheinungsdatum: 2023

Einband: Paperback

Zustand: Brand New

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Edward Bowditch Ltd
Exstowe, Exton, Exeter, EX3 0PP, United Kingdom

Gesch�ftsbedingungen:

Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch

Versandinformationen:

Orders usually dispatched within two working days.

Zahlungsarten
akzeptiert von diesem Verk�ufer

Zu Kaufgesuchen hinzuf�gen