By Jean-Raymond Abrial

ISBN-10: 0521895561

ISBN-13: 9780521895569

a pragmatic textual content appropriate for an introductory or complex direction in formal equipment, this publication offers a mathematical method of modelling and designing platforms utilizing an extension of the B formal strategy: Event-B. in keeping with the assumption of refinement, the author's systematic procedure permits the consumer to build versions steadily and to facilitate a scientific reasoning technique via proofs. Readers will the best way to construct types of courses and, extra often, discrete platforms, yet this is often all performed with perform in brain. the various examples supplied come up from numerous resources of desktop process advancements, together with sequential courses, concurrent courses and digital circuits. The ebook additionally features a huge variety of routines and tasks ranging in trouble. all of the examples incorporated within the ebook has been proved utilizing the Rodin Platform device set, that's on hand loose for obtain at www.event-b.org.

Show description

Read or Download Modeling in Event-B PDF

Best computer engineering books

Download PDF by G.R. Dattatreya: Performance Analysis of Queuing and Computer Networks

Functionality research of Queuing and machine Networks develops basic types and analytical tools from first rules to guage functionality metrics of varied configurations of desktops and networks. It offers many strategies and result of chance idea and stochastic methods. After an advent to queues in machine networks, this self-contained booklet covers very important random variables, similar to Pareto and Poisson, that represent types for arrival and repair disciplines.

Download PDF by Jean-Raymond Abrial: Modeling in Event-B

A realistic textual content appropriate for an introductory or complex direction in formal equipment, this ebook provides a mathematical method of modelling and designing structures utilizing an extension of the B formal technique: Event-B. in accordance with the assumption of refinement, the author's systematic method permits the consumer to build versions progressively and to facilitate a scientific reasoning technique by way of proofs.

Get X86 Assembly Language and C Fundamentals PDF

The fundamental language utilized in embedded microprocessors, meeting language enables you to write courses which are quite often quicker and extra compact than courses written in a high-level language and supply larger keep an eye on over this system functions. concentrating on the languages utilized in X86 microprocessors, X86 meeting Language and C basics explains the way to write courses within the X86 meeting language, the interval, and X86 meeting language modules embedded in a C application.

Dr. Bernhard Hitpass,Jakob Freund,Bernd Rücker's BPMN Manual de Referencia y Guía Práctica 5a Edición: Con PDF

BPMN guide DE REFERENCIA Y GUÍA PRÁCTICACon una introducción a CMMN y DMN- Aprenda BPMN, CMMN y DMN con este guide reconocido internacionalmente- Aproveche l. a. gran experiencia práctica de los autores No sólo aprenda las notaciones, sino también todo aquello que está relacionado con BPM: oBPMN: modelado en tres niveles, alineamiento entre los angeles capa de negocio y de TI, automatización de procesosoCMMN: modelado y automatización para los angeles gestión de casosoDMN: análisis, modelado y automatización de los procesos de decisión y gestión de reglas de negociooTécnicas de análisis y mejoraEn este libro aprenderá todo lo que necesita para introducir en forma exitosa BPMN en sus proyectos.

Additional info for Modeling in Event-B

Example text

Download PDF sample

Modeling in Event-B by Jean-Raymond Abrial


by Donald
4.5

Rated 4.84 of 5 – based on 26 votes