Von dem Buch Formal Aspects of Component Software (eBook, PDF) haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!

Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:

Formal Aspects of Component Software (eBook, PDF)100%: Redaktion: Salaün, Gwen; Wijs, Anton: Formal Aspects of Component Software (eBook, PDF) (ISBN: 9783030906368) Springer International Publishing, in Englisch, auch als eBook.
Nur diese Ausgabe anzeigen…
Formal Aspects of Component Software100%: Gwen Salaün; Anton Wijs: Formal Aspects of Component Software (ISBN: 9783030906351) Springer Shop, in Englisch, Taschenbuch.
Nur diese Ausgabe anzeigen…

Formal Aspects of Component Software (eBook, PDF) - 4 Angebote vergleichen

Bester Preis: Fr. 36.11 ( 36.95)¹ (vom 02.12.2021)
1
9783030906368 - Redaktion: Salaün, Gwen; Wijs, Anton: Formal Aspects of Component Software (eBook, PDF)
Redaktion: Salaün, Gwen; Wijs, Anton

Formal Aspects of Component Software (eBook, PDF)

Lieferung erfolgt aus/von: Deutschland ~EN NW

ISBN: 9783030906368 bzw. 3030906361, vermutlich in Englisch, Springer International Publishing, neu.

Fr. 36.11 ( 36.95)¹
versandkostenfrei, unverbindlich
Lieferung aus: Deutschland, Erscheint vor. 06.12.21, Versandkostenfrei innerhalb von Deutschland.
This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. The book is subdivided into two blocks: Modelling & Composition and Verification. Chapter "A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
2
9783030906368 - Formal Aspects of Component Software

Formal Aspects of Component Software

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika EN NW EB DL

ISBN: 9783030906368 bzw. 3030906361, in Englisch, neu, E-Book, elektronischer Download.

Fr. 45.99 (£ 39.99)¹
versandkostenfrei, unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. The book is subdivided into two blocks: Modelling & Composition and Verification.  Chapter "A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
3
9783030906351 - Gwen Salaün; Anton Wijs: Formal Aspects of Component Software
Gwen Salaün; Anton Wijs

Formal Aspects of Component Software

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika ~EN PB NW

ISBN: 9783030906351 bzw. 3030906353, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.

Fr. 50.58 ($ 59.99)¹
unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. The book is subdivided into two blocks: Modelling & Composition and Verification. Chapter "A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Soft cover.
4
9783030906368 - Formal Aspects of Component Software

Formal Aspects of Component Software

Lieferung erfolgt aus/von: Deutschland ~EN NW EB DL

ISBN: 9783030906368 bzw. 3030906361, vermutlich in Englisch, neu, E-Book, elektronischer Download.

Fr. 46.91 ( 47.99)¹
versandkostenfrei, unverbindlich
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…