j r abrial

Grid   List

  1. Modeling in Event-B
    Modeling in Event-B
    Jean-Raymond Abrial
    Cambridge University Press
    Ebook
    Sofort lieferbar
    A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal ...
    124,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Petites histoires des grandes chansons
    Petites histoires des grandes chansons
    Laurent Abrial
    Editions du Rocher
    Ebook
    Sofort lieferbar
    Les chansons sont les repères de nos vies, le tempo de notre existence, elles balisent les routes de chacun. Elles ont aussi leurs propres histoires liées à leurs auteurs, à leurs compositeurs ou à...
    12,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Petites histoires des grandes chansons
    Petites histoires des grandes chansons
    Laurent Abrial
    Editions du Rocher
    Ebook
    Sofort lieferbar
    Les chansons sont des émotions, des souvenirs, des petits bouts de vie qui s'en vont et qui reviennent parfois caresser nos mémoires. Souvent la magie d'une chanson qui fonctionne et qu'on appelle ...
    12,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Modeling in Event-B
    Modeling in Event-B
    Jean-Raymond Abrial
    Cambridge University Press
    Ebook
    Sofort lieferbar
    A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal ...
    105,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Rigorous Methods for Software Construction and Analysis
    Rigorous Methods for Software Construction and Analysis
    Jean-Raymond Abrial
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, which was organized as a 'Festkolloquium' on the occasion of his 60th birthday in May 2006. F...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Rigorous Methods for Software Construction and Analysis
    Rigorous Methods for Software Construction and Analysis
    Uwe Glässer
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, which was organized as a 'Festkolloquium' on the occasion of his 60th birthday in May 2006...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. The B-Book
    The B-Book
    J. R. Abrial
    Cambridge University Press
    Taschenbuch
    Bezug 11-15
    The definitive book on the B Method; essential for all working in formal methods and safety-critical software.
    157,30 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Formal Methods for Industrial Applications
    Formal Methods for Industrial Applications
    Jean-Raymond Abrial
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally sup...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Modeling in Event-B
    Modeling in Event-B
    Jean-Raymond Abrial
    Cambridge University Press
    Buch
    Bezug 11-15
    A practical introduction to this model-based formal method, containing a broad range of illustrative examples.
    194,37 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. 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
    Taschenbuch
    Bezug 16-20
    Réimpression inchangée de l'édition originale de 1838.
    14,90 €
    Alle Preise inkl. MwSt |ggf. zzgl. Versand
    In den Warenkorb Zum Merkzettel
  11. 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
    Taschenbuch
    Print on Demand
    Toujours considérés par les immigrés maghrébins de France comme des 'traîtres ', les harkis et leurs enfants font l'expérience, depuis maintenant plus de 40 ans , d'une situation inédite et doublem...
    19,80 €
    Alle Preise inkl. MwSt |ggf. zzgl. Versand
    In den Warenkorb Zum Merkzettel
  12. 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
    Buch
    Print on Demand
    Réimpression inchangée de l'édition originale de 1838.
    34,90 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>