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 - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783642198281 - 23 maart 2011
Indien omslag en titel niet overeenkomen, is de titel 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

Prijs
zł 279,90

Besteld in een afgelegen magazijn

Verwachte levering 3 - 12 dec.
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Voeg toe aan uw iMusic-verlanglijst

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 23 maart 2011
ISBN13 9783642198281
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 291
Afmetingen 155 × 235 × 18 mm   ·   453 g
Taal en grammatica Frans  
Uitgever Davies, Jim
Uitgever Silva, Leila
Uitgever Simao, Adenilso

Alles tonen

Meer door Jim Davies