Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Programming and Software Engineering - Jim Davies - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783642198281 - 23 mars 2011
Si la couverture et le titre ne correspondent pas, le titre est correct.

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Programming and Software Engineering

Jim Davies

Prix
zł 277,90

Commandé depuis un entrepôt distant

Livraison prévue 17 - 29 juil.

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Programming and Software Engineering

This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.

299 pages, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 23 mars 2011
ISBN13 9783642198281
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 291
Dimensions 155 × 235 × 18 mm   ·   453 g
Langue et grammaire French  
Éditeur Davies, Jim
Éditeur Silva, Leila
Éditeur Simao, Adenilso
Afficher tout

Plus par Jim Davies

Voir tous les Jim Davies ( par ex. CD , Paperback Book , Hardcover Book et Book )