th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the ...

Formal methods for development of computer systems have been extensively studied over the years. ...

This book constitutes the refereed proceedings of the Third International Colloquium on Theoretic...

The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events de...

This tutorial book presents an augmented selection of the material presented at the First Pernamb...

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal...

The topics covered in this book range from modeling and programming languages and environments, v...

The topics covered in this book range from modeling and programming languages and environments, v...

This book presents important concepts from medical and socio-cultural anthropology to health prof...

Sorghum (Sorghum bicolor (L.) Moench) ist ein Gras, das in der zentralen Region des afrikanischen...