 | | | | |
Bild | | | | Bestellen |
|
|
|
Formal Methods in Systems Engineering (1 Angebot) As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathe... |
Springer Verlag 9783540197515 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783030549930 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783030549961 |
€ 49,99*
pro Stück |
|
|
Formal Methods: Applications and Technology (1 Angebot) These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distribute... |
Springer Verlag 9783540709510 |
€ 49,99*
pro Stück |
|
|
Formal Methods: Foundations and Applications (1 Angebot) This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8... |
Springer Verlag 9783030921361 |
€ 54,99*
pro Stück |
|
|
|
Springer Verlag 9783319150741 |
€ 40,00*
pro Stück |
|
|
Formal Methods: Foundations and Applications (1 Angebot) This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SA... |
Springer Verlag 9783642104510 |
€ 49,99*
pro Stück |
|
|
Formal Methods: Foundations and Applications (1 Angebot) This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with... |
Springer Verlag 9783642250316 |
€ 49,99*
pro Stück |
|
|
Formal Methods: Foundations and Applications (1 Angebot) This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers presented i... |
Springer Verlag 9783030030438 |
€ 57,99*
pro Stück |
|
|
Formal Methods: Foundations and Applications (1 Angebot) This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the sy... |
Springer Verlag 9783030638818 |
€ 64,99*
pro Stück |
|
|
|
Springer Verlag 9783319294728 |
€ 40,00*
pro Stück |
|
|
Formal Methods: Foundations and Applications (1 Angebot) This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together wit... |
Springer Verlag 9783319498140 |
€ 49,99*
pro Stück |
|
|
Formal Methods: Foundations and Applications (1 Angebot) This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented t... |
Springer Verlag 9783319708478 |
€ 64,99*
pro Stück |
|
|
Formal Methods: Foundations and Applications (1 Angebot) This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazili... |
Springer Verlag 9783642332951 |
€ 46,00*
pro Stück |
|
|
|
Springer Verlag 9783031224751 |
€ 54,99*
pro Stück |
|
|
