Modeling in Event-B

Modeling in Event-B

書目詳細資料
主要作者:	Jean-Raymond Abrial
格式:	電子電子書
語言:	English
出版:	Cambridge University Press, 03/05/2013
版:	1
主題:	Programming Languages and Applied Logic Software Engineering and Development Electronic books
在線閱讀:	Full text available on Cambridge University Press Off-campus access

相似書籍

Systematic Program Design
由: Yanhong Annie Liu
出版: (2013)

Programming in Visual Basic 2010
由: Jim McKeown
出版: (2012)

Steps in Scala
由: Christos K. K. Loverdos, Apostolos Syropoulos
出版: (2012)

Nominal Sets
由: Andrew M. Pitts
出版: (2013)

Practical Foundations for Programming Languages
由: Robert Harper
出版: (2013)

Pearls of Functional Algorithm Design
由: Richard Bird
出版: (2013)

Transitions and Trees
由: Hans Hüttel
出版: (2012)

Programming with Higher-Order Logic
由: Dale Miller, Gopalan Nadathur
出版: (2012)

An Introduction to Category Theory
由: Harold Simmons
出版: (2012)

Introduction to Bisimulation and Coinduction
由: Davide Sangiorgi
出版: (2012)

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

Programming logic and design : comprehensive /
由: Farrell, Joyce
出版: (2011)

Software Modeling and Design
由: Hassan Gomaa
出版: (2012)

Natural language understanding /
由: Allen, James, 1950-
出版: (1995)

Natural language understanding /
由: Allen, James, 1950-
出版: (1995)

An Introduction to Gödel's Theorems
由: Peter Smith
出版: (2013)

Basics of logic /
由: Barker, Stephen Francis
出版: (1986)

Java foundation classes in a nutshell : a desktop quick reference /
由: Flanagan, David
出版: (1999)

Zend Enterprise PHP patterns /
由: Coggeshall, John, 1981-
出版: (2009)

Zend Enterprise PHP patterns /
由: Coggeshall, John, 1981-
出版: (2009)

Spring in action /
由: Walls, Craig
出版: (2011)

Beginning Java ME platform /
由: Rischpater, Ray
出版: (2009)

Head First design patterns /
出版: (2004)

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

Our logic for discussion and persuasion /
由: Ha, Byunghak
出版: (2000)

Spring in action /
由: Walls, Craig
出版: (2019)

Logic Journal of the IGPL

Learn Objective-C for Java developers /
由: Bucanek, James
出版: (2009)

Logic, language, and meaning /
由: Gamut, L. T. F.
出版: (1991)

Digital designing with programmable logic devices /
由: Carter, John W., 1951-
出版: (1997)

Software development internship
由: Mobassira, Mst Sabrina
出版: (2023)

The best software writing I /
出版: (2005)

Native Speakers and Native Users
由: Alan Davies
出版: (2013)

Words of the World
由: Sarah Ogilvie
出版: (2012)

Writing Essays in English Language and Linguistics
由: Neil Murray
出版: (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