Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Formale Methoden für komplexe Systeme: Implementierung der B-Methode von Jea

Ø 0.0

0 Bewertungen

257,69 €

This book presents real-world examples of formal techniques in an industrial context. B Tools, Jean-Louis Boulanger. Event B, Dominique Méry, Neeraj Kumar Singh. B-RAIL: UML to B Transformation in Modeling a Level Crossing, Jean-Louis Boulanger.

Jetzt bei Ebay:

ISBN-13:

9781848217096
Book Title:

Formal Methods Applied to Complex Systems
ISBN:

9781848217096

Standardversand:

Standard Int'l Postage 15,47 EUR - Lieferung zwischen 12. June 2025 und 18. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Marshallinseln , Russische Föderation , Belarus , Serbien , Ukraine , Afghanistan , Libyen , Nauru , Somalia , Jemen