Author: José Lebre de Freitas Publisher: Kluwer Law International B.V. ISBN: 9041121374 Category : Law Languages : en Pages : 490
Book Description
This important book, the fifth in the Civil Procedure in Europe series, provides a comparative overview, of 13 EU countries and Switzerland, on the law of evidence. Each country's practice in this area is described and analysed by a national expert distinguished in the field of civil procedural law. The contributions are written in either English, French or German, and are followed by summaries in both remaining languages. Bibliographies are included to enable the reader to locate material for further study. A comparative contribution by the editor, Professor Jose Lebre de Freitas, analyses the similarities and differences between the various European systems. Furthermore, the editor discusses attempts to harmonise the law of evidence in Europe and provides concrete suggestions for a future harmonisation or unification of this area of law. The countries covered are Austria, Belgium, Finland, France, Germany, Greece, Ireland, Italy, Luxembourg, The Netherlands, Portugal, Spain, Sweden and Switzerland.
Author: BOULANGER Jean-Louis Publisher: Lavoisier ISBN: 2746288109 Category : B method (Computer science) Languages : en Pages : 434
Book Description
La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.
Author: Strachan Bethune Publisher: ISBN: Category : Canada Languages : en Pages : 426
Book Description
"A view of the civil government and administration of justice in the province of Canada while it was subject to the crown of France," by William Hey: 48 p. at end of v. 1.
Author: Pia Acconci Publisher: Martinus Nijhoff Publishers ISBN: 9004269509 Category : Law Languages : en Pages : 584
Book Description
This challenging volume contains articles by a wide variety of well-known scholars and practitioners, and deals with human rights, international humanitarian law, international criminal law and humanitarian assistance, as well as other areas of international law relating to the protection of humanity. These are topics to which Flavia Lattanzi, in whose honour the volume is being published, has made an outstanding contribution and to which she has given her determined and unrelenting professional and personal commitment. As a former Professor at the Universities of Pisa, Sassari, Teramo and Roma Tre and as Judge ad litem at the International Tribunal for Rwanda and the International Tribunal for the Former Yugoslavia, she has adhered constantly to a number of important principles, as reflected in the research contained in this volume. They include the firm conviction that respect for human rights is an indispensable precondition for durable peace; the notion that grave breaches of human rights, including the refusal to provide assistance to populations in distress, can imply a threat to international peace and security; and that guarantees against human rights violations include the question of the punishment of core crimes under International Law.
Author: José Lebre de Freitas
Author: BOULANGER Jean-Louis
Author: Louisiana
Author: Strachan Bethune
Author: Sir Ilay Campbell
Author: Mauritius. Supreme Court
Author: Jerome Internoscia
Author: Pia Acconci
Author: Canada. Supreme Court
Author: Louisiana