Although formal analysis programming techniques may be quite old, the introduction of formal meth...

A review of the principles of the safety of software-based equipment, this book begins by present...

This book presents real-world examples of formal techniques in an industrial context. It covers f...

Although formal analysis programming techniques may be quite old, the introduction of formal meth...

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method...

At present the literature gives students and researchers of the very general books on the formal ...

La colposcopie est sans aucun doute la meilleure méthodologie pour gérer les pathologies cervico-...

CetAbrégé Connaissances et pratique apporteles connaissances fondamentales en gynéc...

La colposcopie permet de gérer les pathologies cervico-vaginales et permet une compréhension clai...

Devant le développement grandissant des rapatriements sanitaires aériens médicalisés, la mise en ...

En parfaite conformité avec le programme de DFGSM 2-3 Médecine, Les fondamentaux de la path...

It is currently quite easy for students or designers engineers to find very general books on the ...