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 - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783642198281 - 23 mars 2011
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 749

Beställningsvara

Förväntad leverans 5 - 17 jun

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista

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

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 23 mars 2011
ISBN13 9783642198281
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 291
Mått 155 × 235 × 18 mm   ·   453 g
Språk Franska  
Redaktör Davies, Jim
Redaktör Silva, Leila
Redaktör Simao, Adenilso
Visa alla

Fler produkter med Jim Davies

Se alt med Jim Davies ( t.ex. CD , Pocketbok , Inbunden Bok och Bok )