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
€ 63,99

Besteld in een afgelegen magazijn

Verwachte levering 6 - 18 jun.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
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

Bekijk alles van Jim Davies ( bijv. CD , Paperback Book , Hardcover Book en Book )