Cover Image

Formal specification: techniques and applications/

Main Author:	Nissanke, Nimal
Format:	Book
Language:	English
Published:	London ; New York: Springer , c1999
Subjects:	Formal methods (Computer science) Application software > Development

Similar Items

Algebraic foundations of systems specification/
Published: (1999)

Software specification methods
Published: (2006)

Formal method industrial use from model to the code /
Published: (2012)

UML 2 semantics and applications
Published: (2009)

Teamwork in multi-agent systems a formal approach /
by: Dunin-Kπeplicz, Barbara.
Published: (2010)

Integrated formal methods: 4th international conference, IFM 2004, Canterbury, UK, April 4- 7, 2004: proceedings/
by: Boiten, Eerke A.
Published: (2004)

Getting started with Backbone Marionette /
by: Armendariz, Raymundo.

Logic programming : formal methods and practical applications /
Published: (1995)

X/Open CAE specification
Published: (1996)

Software development with Z : a practical approach to formal methods in software engineering /
by: Wordsworth, J. B.
Published: (1970)

A programming approach to formal methods/
by: Casey, Chris
Published: (1994)

Guide to standards and specifications for designing Web software /
by: Magee, Stan
Published: (1998)

Sencha Architect app development develop your own Ext JS and Sensa Touch application using Sencha Architect /
by: Groner, Loiane.
Published: (2013)

Lectures on formal methods and performance analysis: first EEF/euro summer school on trends in computer science, Berg en Dal, The Netherlands, July 3-7, 2000: revised lectures/
Published: (2001)

Beginning Android application development
by: Lee, Wei-Meng.
Published: (2011)

Eclipse development using the graphical editing framework and the eclipse modeling framework
Published: (2004)

Xcode 5 developer reference /
by: Wentk, Richard,

Instant RubyMotion app development
by: Laborde, Gant.
Published: (2013)

Professional Android 4 application development/
by: Meier, Reto, 1978-
Published: (2012)

Microsoft SQL Azure enterprise application development ; build enterprise-ready applications and projects with SQL Azure /
by: Krishnaswamy, Jayaram.
Published: (2010)

Building applications in the cloud : concepts, patterns, and projects /
by: Moyer, Christopher M.
Published: (2011)

Heroku cloud application development : a comprehensive guide to help you build, deploy, and troubleshoot cloud applications seamlessly using Heroku /
by: Hanjura, Anubhav,

Professional Flash Lite mobile development build Flash applications for mobile devices /
by: Anderson, J. G.
Published: (2010)

zSeries Application Assist Processor (zAAP) implementation
by: Rogers, Paul.
Published: (2004)

Rails 4 application development HOTSHOT : build simple to advanced applications in Rails 4 through 10 exciting projects /
by: Bhatia, Saurabh,

Formal languages, automata and numeration systems 2 : applications to recognizability and decidability /
by: Rigo, Michel,

Getting started with SOQL : revolutionize the use of simple query strings to make them more efficient using SOQL /
by: D, Magulan,

VBA professional projects /
by: Chaudhary, Rachna.
Published: (2002)

Specification and transformation of programs : a formal approach tosoftware development /
by: Partsch, Helmut A., 1950-
Published: (1990)

Formal languages, automata and numeration systems 2 /
by: Rigo, Michel,

Advanced PowerBuilder 6 techniques /
Published: (1998)

PHPUnit essentials : get started with PHPUnit and learn how to write and test code using advanced technologies /
by: Machek, Zdenek,

Getting Started with Grunt : the javascript task runner : a hands-on approach to mastering the fundamentals of Grunt /
by: Pillora, Jaime.

Instant Android systems development how-to get your hands dirty with Android systems development through carefully thought-out source code examples /
by: Fernandes, Earlence.
Published: (2013)

CUDA by example: an introduction to general-purpose GPU programming/
by: Sanders, Jason
Published: (2011)

Xcode 4 cookbook over 100 recipes to build your own fun and exciting iOS applications /
by: Daniel, Steven F.
Published: (2013)

Instant Eclipse 4 RCP development how-to over 10 practical recipes for creating rich client applications using Eclipse 4 /
by: Kulkarni, Ram.
Published: (2013)

Hands-on oracle application express security building secure apex applications /
by: Recx.
Published: (2013)

Beginning Oracle Application express /
by: Greenwald, Rick
Published: (2009)

Laravel application development blueprints /
by: Yilmaz, Halil Ibrahim.

Cannot write session to /tmp/vufind_sessions/sess_1s02p7fnoqvrigju4lqa0e6gr7