Systematic Program Design

Systematic Program Design

Bibliographische Detailangaben
1. Verfasser:	Yanhong Annie Liu
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cambridge University Press, 06/05/2013
Ausgabe:	1
Schlagworte:	Programming Languages and Applied Logic Software Engineering and Development Electronic books
Online Zugang:	Full text available on Cambridge University Press Off-campus access

Ähnliche Einträge

Programming in Visual Basic 2010
von: Jim McKeown
Veröffentlicht: (2012)

Modeling in Event-B
von: Jean-Raymond Abrial
Veröffentlicht: (2013)

Steps in Scala
von: Christos K. K. Loverdos, Apostolos Syropoulos
Veröffentlicht: (2012)

Practical Foundations for Programming Languages
von: Robert Harper
Veröffentlicht: (2013)

Pearls of Functional Algorithm Design
von: Richard Bird
Veröffentlicht: (2013)

Programming with Higher-Order Logic
von: Dale Miller, Gopalan Nadathur
Veröffentlicht: (2012)

Nominal Sets
von: Andrew M. Pitts
Veröffentlicht: (2013)

Transitions and Trees
von: Hans Hüttel
Veröffentlicht: (2012)

An Introduction to Category Theory
von: Harold Simmons
Veröffentlicht: (2012)

Programming logic and design : comprehensive /
von: Farrell, Joyce
Veröffentlicht: (2011)

Introduction to Bisimulation and Coinduction
von: Davide Sangiorgi
Veröffentlicht: (2012)

Web Data Management
von: Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
Veröffentlicht: (2012)

Head First design patterns /
Veröffentlicht: (2004)

Digital designing with programmable logic devices /
von: Carter, John W., 1951-
Veröffentlicht: (1997)

.NET Domain-Driven Design with C# : problem, design, solution /
von: McCarthy, Tim
Veröffentlicht: (2008)

Logic and computer design fundamentals /
von: Mano, M. Morris, 1927-
Veröffentlicht: (2000)

Natural language understanding /
von: Allen, James, 1950-
Veröffentlicht: (1995)

Natural language understanding /
von: Allen, James, 1950-
Veröffentlicht: (1995)

Software Modeling and Design
von: Hassan Gomaa
Veröffentlicht: (2012)

Semantic Web programming /
Veröffentlicht: (2009)

Digital design /
von: Mano, M. Morris, 1927-
Veröffentlicht: (1991)

An Introduction to Gödel's Theorems
von: Peter Smith
Veröffentlicht: (2013)

Basics of logic /
von: Barker, Stephen Francis
Veröffentlicht: (1986)

Digital logic and computer design /
von: Mano, M. Morris, 1927-
Veröffentlicht: (1979)

Digital logic and computer design /
von: Mano, M. Morris, 1927-
Veröffentlicht: (1979)

Digital design : a pragmatic approach /
von: Johnson, Everett L.
Veröffentlicht: (1987)

Fundamentals of digital logic with VHDL design /
von: Brown, Stephen D.
Veröffentlicht: (2000)

Our logic for discussion and persuasion /
von: Ha, Byunghak
Veröffentlicht: (2000)

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

Java foundation classes in a nutshell : a desktop quick reference /
von: Flanagan, David
Veröffentlicht: (1999)

Zend Enterprise PHP patterns /
von: Coggeshall, John, 1981-
Veröffentlicht: (2009)

Zend Enterprise PHP patterns /
von: Coggeshall, John, 1981-
Veröffentlicht: (2009)

Spring in action /
von: Walls, Craig
Veröffentlicht: (2011)

Beginning Java ME platform /
von: Rischpater, Ray
Veröffentlicht: (2009)

Logic Journal of the IGPL

Spring in action /
von: Walls, Craig
Veröffentlicht: (2019)

Logic, language, and meaning /
von: Gamut, L. T. F.
Veröffentlicht: (1991)

Adaptation of systematic analysis of language transcripts (SALT) for Bangla data
von: Sultana, Asifa
Veröffentlicht: (2016)

Advanced digital design with the Verilog HDL /
von: Ciletti, Michael D.
Veröffentlicht: (2009)

Object-oriented analysis and design : understanding system development with UML 2.0 /
von: O'Docherty, Mike
Veröffentlicht: (2005)