Modeling in Event-B

Modeling in Event-B

Dades bibliogràfiques
Autor principal:	Jean-Raymond Abrial
Format:	Electrònic eBook
Idioma:	English
Publicat:	Cambridge University Press, 03/05/2013
Edició:	1
Matèries:	Programming Languages and Applied Logic Software Engineering and Development Electronic books
Accés en línia:	Full text available on Cambridge University Press Off-campus access

Ítems similars

Systematic Program Design
per: Yanhong Annie Liu
Publicat: (2013)

Programming in Visual Basic 2010
per: Jim McKeown
Publicat: (2012)

Steps in Scala
per: Christos K. K. Loverdos, Apostolos Syropoulos
Publicat: (2012)

Nominal Sets
per: Andrew M. Pitts
Publicat: (2013)

Practical Foundations for Programming Languages
per: Robert Harper
Publicat: (2013)

Pearls of Functional Algorithm Design
per: Richard Bird
Publicat: (2013)

Transitions and Trees
per: Hans Hüttel
Publicat: (2012)

Programming with Higher-Order Logic
per: Dale Miller, Gopalan Nadathur
Publicat: (2012)

An Introduction to Category Theory
per: Harold Simmons
Publicat: (2012)

Introduction to Bisimulation and Coinduction
per: Davide Sangiorgi
Publicat: (2012)

Web Data Management
per: Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
Publicat: (2012)

Programming logic and design : comprehensive /
per: Farrell, Joyce
Publicat: (2011)

Software Modeling and Design
per: Hassan Gomaa
Publicat: (2012)

Natural language understanding /
per: Allen, James, 1950-
Publicat: (1995)

Natural language understanding /
per: Allen, James, 1950-
Publicat: (1995)

An Introduction to Gödel's Theorems
per: Peter Smith
Publicat: (2013)

Basics of logic /
per: Barker, Stephen Francis
Publicat: (1986)

Our logic for discussion and persuasion /
per: Ha, Byunghak
Publicat: (2000)

The logic of language
per: Seuren, Pieter A. M.

Java foundation classes in a nutshell : a desktop quick reference /
per: Flanagan, David
Publicat: (1999)

Zend Enterprise PHP patterns /
per: Coggeshall, John, 1981-
Publicat: (2009)

Zend Enterprise PHP patterns /
per: Coggeshall, John, 1981-
Publicat: (2009)

Spring in action /
per: Walls, Craig
Publicat: (2011)

Beginning Java ME platform /
per: Rischpater, Ray
Publicat: (2009)

Head First design patterns /
Publicat: (2004)

Logic Journal of the IGPL

Spring in action /
per: Walls, Craig
Publicat: (2019)

Logic, language, and meaning /
per: Gamut, L. T. F.
Publicat: (1991)

Digital designing with programmable logic devices /
per: Carter, John W., 1951-
Publicat: (1997)

Native Speakers and Native Users
per: Alan Davies
Publicat: (2013)

Words of the World
per: Sarah Ogilvie
Publicat: (2012)

Writing Essays in English Language and Linguistics
per: Neil Murray
Publicat: (2012)

Applied Linguistics

IMA Journal of Applied Mathematics

Mathematical Medicine and Biology: A Journal of the IMA

Mathematical Medicine and Biology: A Journal of the IMA

The Quarterly Journal of Mechanics and Applied Mathematics

The handbook of applied linguistics /
Publicat: (2006)

An introduction to applied linguistics /
Publicat: (2002)

Applied linguistics /
per: Cook, Guy
Publicat: (2003)