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, Berlin
SKU: 01659032
Price: 48.91 EUR
Availability: InStock
Author: Shengchao Qin
ISBN: 9783642245589

13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Shengchao Qin

Zongyan Qiu

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01659032

Založba Springer, Berlin, november 2010

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engine... Celoten opis

Koda Libristo: 01659032

118 b

48.91 €

Na zalogi pri dobavitelju Odposlali bomo v 8-11 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Il Devoto-Oli dei sinonimi e contrari. Con analoghi, generici, inversi e gradazioni semantiche Maurizio Trifone

Mehka

77.07 €

Akademia owoce Opracowanie zbiorowe

Mehka

2.32 €

Poesies Choisies Et Pieces Inedites d'Alexis Piron PIRON-A

Mehka

25.11 €

Die Â«andereÂ» Familie Arbeitskreis "Repräsentationen"

Trda

109.48 €

Commentaria in decem Categorias Aristotelis Simplicius

Trda

152.83 €

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.