Erweiterte Suche

Grid  List

  1. Rigorous Methods for Software Construction and Analysis Rigorous Methods for Software Construction and Analysis

    Rigorous Methods for Software Construction and Analysis

    Uwe Glässer
    Springer Berlin Heidelberg
    20.01.2010

    This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Se...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. LES ENFANTS DE HARKIS, DE LA RÉVOLTE À L’INTÉGRATION LES ENFANTS DE HARKIS, DE LA RÉVOLTE À L’INTÉGRATION

    LES ENFANTS DE HARKIS, DE LA RÉVOLTE À L’INTÉGRATION

    Stéphanie Abrial
    Editions L’Harmattan
    16.05.2022

    Toujours considérés par les immigrés maghrébins de France comme des 'traîtres ', les harkis et le...

    Taschenbuch
    19,80 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods for Industrial Applications Formal Methods for Industrial Applications

    Formal Methods for Industrial Applications

    Jean-Raymond Abrial
    Springer Berlin Heidelberg
    30.10.1996

    This book, with the CD-ROM included, is the documentation of a unique collaborative effort in eva...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. The B-Book The B-Book

    The B-Book

    J. R. Abrial
    Cambridge University Press
    25.08.2005

    The definitive book on the B Method; essential for all working in formal methods and safety-criti...

    Taschenbuch
    130,30 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Modeling in Event-B Modeling in Event-B

    Modeling in Event-B

    Jean-Raymond Abrial
    Cambridge University Press
    13.05.2010

    A practical introduction to this model-based formal method, containing a broad range of illustrat...

    Gebunden
    143,70 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Des moyens propres à reconnaître la présence de l’acide sulfurique dans les matières des vomissements Des moyens propres à reconnaître la présence de l’acide sulfurique dans les matières des vomissements

    Des moyens propres à reconnaître la présence de l’acide sulfurique dans les matières des vomissements

    J. -P. -Arsène Abrial
    Outlook Verlag
    09.10.2024

    Réimpression inchangée de l'édition originale de 1838.

    Gebunden
    34,90 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Des moyens propres à reconnaître la présence de l’acide sulfurique dans les matières des vomissements Des moyens propres à reconnaître la présence de l’acide sulfurique dans les matières des vomissements

    Des moyens propres à reconnaître la présence de l’acide sulfurique dans les matières des vomissements

    J. -P. -Arsène Abrial
    Outlook Verlag
    09.10.2024

    Réimpression inchangée de l'édition originale de 1838.

    Taschenbuch
    14,90 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Iiie Congrès National de la Culture Des Plantes Médicinales, Compte Rendu: Lille, 17-21 Juillet 1923 Iiie Congrès National de la Culture Des Plantes Médicinales, Compte Rendu: Lille, 17-21 Juillet 1923

    Iiie Congrès National de la Culture Des Plantes Médicinales, Compte Rendu: Lille, 17-21 Juillet 1923

    Georges Abrial Blaque
    Hachette Livre
    01.09.2018

    Iiie Congrès National de la Culture Des Plantes Médicinales, Compte Rendu: Lille, 17-21 Juillet 1923

    Taschenbuch
    15,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Culture de la rhubarbe française Culture de la rhubarbe française

    Culture de la rhubarbe française

    Cl Abrial
    HACHETTE LIVRE
    01.09.2021

    Culture de la rhubarbe française par Cl. Abrial, secrétaire du Comité régional lyonnais des plant...

    Taschenbuch
    13,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1