Jean-Raymond Abrial's Documents

Jean-Raymond Abrial's Documents

Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering
Read more
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
Read more
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control 1995

Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control 1995
Read more
The B-Book: Assigning Programs to Meanings

The B-Book: Assigning Programs to Meanings
Read more
Die Beatles Story

Die Beatles Story
Read more
Pediatric Primary Care Ill.Child Care

Pediatric Primary Care Ill.Child Care
Read more
Pediatric Primary Care Well. Child Care

Pediatric Primary Care Well. Child Care
Read more
Nature-inspired informatics for intelligent applications and knowledge discovery: implications in business, science, and engineering

Nature-inspired informatics for intelligent applications and knowledge discovery: implications in business, science, and engineering
Read more
La pratique de l'action communautaire

La pratique de l'action communautaire
Read more
Philosophie mathématique. Troisième cycle et recherche

Philosophie mathématique. Troisième cycle et recherche
Read more
Understanding Anger Disorders

Understanding Anger Disorders
Read more
Employee Training & Development, 5th Edition

Employee Training & Development, 5th Edition
Read more
Understanding Anger Disorders

Understanding Anger Disorders
Read more
Employee Training & Development, 5th Edition

Employee Training & Development, 5th Edition
Read more
Employee Training & Development, 5th Edition

Employee Training & Development, 5th Edition
Read more
The Origins of War: Violence in Prehistory

The Origins of War: Violence in Prehistory
Read more
CompTIA A+ 2009 In Depth

CompTIA A+ 2009 In Depth
Read more
Space Weather, Environment and Societies

Space Weather, Environment and Societies
Read more
CompTIA A+ 2009 In Depth

CompTIA A+ 2009 In Depth
Read more
Suites de Sturm, indice de Maslov et periodicite de Bott

Suites de Sturm, indice de Maslov et periodicite de Bott
Read more
The Singular Objects of Architecture

The Singular Objects of Architecture
Read more
CompTIA A+ 2009 In Depth

CompTIA A+ 2009 In Depth
Read more
Connectionist approaches to clinical problems in speech and language: therapeutic and scientific applications

Connectionist approaches to clinical problems in speech and language: therapeutic and scientific applications
Read more
Chandler, Raymond - The Little Sister

Chandler, Raymond - The Little Sister
Read more
Chandler, Raymond - Marlowe 3 - The High Window

Chandler, Raymond - Marlowe 3 - The High Window
Read more
Chandler, Raymond - Marlowe 2 - Farewell My Lovely

Chandler, Raymond - Marlowe 2 - Farewell My Lovely
Read more
Riftwar Saga, Book 1: Magician: Apprentice

Riftwar Saga, Book 1: Magician: Apprentice
Read more
The Sanctuary

The Sanctuary
Read more
English Grammar In Use with Answers: A Self-study Reference and Practice Book for Intermediate Students of English 3rd edition

English Grammar In Use with Answers: A Self-study Reference and Practice Book for Intermediate Students of English 3rd edition
Read more
Chemistry

Chemistry
Read more