Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer
SKU: 41002581
Price: 54.38 EUR
Availability: InStock
Author: Yamine Ait-Ameur
ISBN: 9783030324094

21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings

Yamine Ait-Ameur

Shengchao Qin

Jezik

Angleščina

E-knjiga Adobe ePub DRM

Koda Libristo: 41002581

Založba Springer, oktober 2019

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Met... Celoten opis

Koda Libristo: 41002581

131 b

54.38 €

Na zalogi Prenesi zdaj

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods.