SULJE VALIKKO

avaa valikko

Huibiao Zhu | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?



Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, Chi
Jin Song Dong; Huibiao Zhu
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Service-Oriented Computing - ICSOC Workshops 2012 - ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESO
Aditya Ghose; Huibiao Zhu; Qi Yu; Alex Delis; Quan Z. Sheng; Olivier Perrin; Jianmin Wang; Yan Wang
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Zhiming Liu; Jim Woodcock; Huibiao Zhu
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at
Zhiming Liu; Jim Woodcock; Huibiao Zhu
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theoretical Aspects of Computing -- ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceeding
Zhiming Liu; Jim Woodcock; Huibiao Zhu
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected P
Jonathan P. Bowen; Huibiao Zhu
Springer International Publishing AG (2017)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theoretical Aspects of Computing -- Ictac 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceeding
Zhiming Liu; Jim Woodcock; Huibiao Zhu
Springer (2013)
Pehmeäkantinen kirja
115,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, Chi
97,90 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 712 sivua
Asu: Pehmeäkantinen kirja
Painos: 2010
Julkaisuvuosi: 2010, 29.10.2010 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering
This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010.
The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 5-6 viikossa. Tilaa tuote jouluksi viimeistään 13.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, Chizoom
Näytä kaikki tuotetiedot
ISBN:
9783642169007
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste