This is our Australia store.

Looks like you're in United States. You need a Australia address to shop on our Australia store. Go to our United States store to continue.

Have an account?Sign in

Software Specification Methods

Henri Habrias,Marc Frappier

Buy the eBook

$271.99AUD

You are in the Australia store

Not in Australia? Choose your country’s store to see books available for purchase.

Choose Store

Buy Now Gift A Book

Learn About Price Matching

Why read with us?

Kobo empowers book lovers to read more.

Elevated reading experience with our Kobo eReaders

Rich and relevant book catalogue

Free Kobo reading app

Synopsis

About this book

Language:English
ISBN:9781118613948
Release date:Jun 1, 2013
Publisher:Wiley

Imprint:Wiley-ISTE
File format:EPUB2
File size:3.86 MB
Download options:EPUB2 (Adobe DRM)

Related Reads

Learning scikit-learn: Machine Learning in Python

Raúl Garreta, Guillermo Moncecchi

VIP$22.56

or Free with Kobo Plus

Lisp in Small Pieces

Christian Queinnec, Kathleen Callaway

VIP$140.77

Information Modeling and Relational Databases

Terry Halpin, Tony Morgan

VIP$75.82

Introduction to Information Retrieval

Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze

VIP$87.21

Natural Language Annotation for Machine Learning

James Pustejovsky, Amber Stubbs

VIP$29.29

Relational Theory for Computer Professionals

C.J. Date

VIP$29.29

Model-Driven Software Engineering in Practice

Marco Brambilla, Jordi Cabot, Manuel Wimmer, Luciano Baresi

VIP$77.90

Modern Compiler Implementation in Java

Andrew W. Appel, Jens Palsberg

VIP$108.59

Software Language Engineering

Anneke Kleppe

VIP$33.85

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE

Bran Selic, Sebastien Gerard

VIP$75.82

Mastering Text Mining with R

KUMAR ASHISH

VIP$45.43

or Free with Kobo Plus

Object-Oriented Analysis and Design for Information Systems

Raul Sidnei Wazlawick

VIP$69.19

Database Modeling and Design

Toby J. Teorey, Sam S. Lightstone, Tom Nadeau, H.V. Jagadish

VIP$81.76

Machine Learning for the Web

Andrea Isoni, Steve Essinger

VIP$57.01

or Free with Kobo Plus

Python Machine Learning By Example

Yuxi (Hayden) Liu, Ivan Idris

VIP$57.01

or Free with Kobo Plus

Trends in Functional Programming Volume 6

Marko Van Eekelen

VIP$62.36

Systematic Program Design

Yanhong Annie Liu

VIP$64.24

Information Retrieval Architecture and Algorithms

Gerald Kowalski

VIP$68.89

Machine Learning Algorithms

Giuseppe Bonaccorso

VIP$57.01

or Free with Kobo Plus

Artificial Intelligence Programming

Eugene Charniak, Christopher K. Riesbeck, Drew V. McDermott, James R. Meehan

VIP$109.05

Multilingual Natural Language Processing Applications

Daniel Bikel, Imed Zitouni

VIP$104.14

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

VIP$68.89

Handbook of Big Data Technologies

Albert Y. Zomaya, Sherif Sakr

VIP$517.66

Artificial Intelligence Interview Questions You'll Most Likely Be Asked

Vibrant Publishers

VIP$24.47

Mastering Data Mining with Python - Find patterns hidden in your data

Megan Squire

VIP$57.01

or Free with Kobo Plus

Model-Driven and Software Product Line Engineering

Jean-Claude Royer, Hugo Arboleda

$236.99

Machine Learning for Developers

Rodolfo Bonnin

VIP$50.78

or Free with Kobo Plus

Formal Development of a Network-Centric RTOS

Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev

VIP$136.91

Practical Machine Learning

Sunila Gollapudi

VIP$53.45

or Free with Kobo Plus

Ontologies

Dieter Fensel, M.L. Brodie

VIP$68.89

Specification of Software Systems

V.S. Alagar, K. Periyasamy

VIP$68.89

Developing High Quality Data Models

Matthew West

VIP$86.91

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

VIP$52.66

The Semantic Web. Latest Advances and New Domains

Harald Sack, Eva Blomqvist, Mathieu d'Aquin, Chiara Ghidini, Simone Paolo Ponzetto, Christoph Lange

VIP$128.79

Emergent Web Intelligence: Advanced Information Retrieval

Richard Chbeir, Youakim Badr, Ajith Abraham, Aboul-Ella Hassanien

VIP$193.63

Modelling Foundations and Applications

Andrzej Wąsowski, Henrik Lönn

VIP$68.89

Semantic Computing

Heather Yu, C. V. Ramamoorthy, Arvind K. Joshi, Lotfi A. Zadeh, Phillip C.-Y. Sheu

$237.99

The Semantic Web

Eva Blomqvist, Diana Maynard, Aldo Gangemi, Rinke Hoekstra, Pascal Hitzler, Olaf Hartig

VIP$112.65

Web Services and Formal Methods

Emilio Tuosto, Chun Ouyang

VIP$52.66

Transactions on Aspect-Oriented Software Development XII

Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld

VIP$68.89

Fundamentals of Data Warehouses

Matthias Jarke, Maurizio Lenzerini, Yannis Vassiliou, Panos Vassiliadis

VIP$68.89

Functional and Logic Programming

Andy King, Oleg Kiselyov

VIP$64.84

Trends in Functional Programming Volume 7

Henrik Nilsson

VIP$55.43

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

VIP$56.72

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

VIP$68.89

Principles of Security and Trust

Frank Piessens, Luca Viganò

VIP$68.89

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

VIP$68.89

Formal Methods Applied to Complex Systems

Jean-Louis Boulanger

$299.99

Advances in Databases and Information Systems

Mārīte Kirikova, Kjetil Nørvåg, George A. Papadopoulos

VIP$68.89

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

VIP$68.89

Trends in Functional Programming

Manuel Serrano, Jurriaan Hage

VIP$56.72

Advances in Databases and Information Systems

Morzy Tadeusz, Patrick Valduriez, Ladjel Bellatreche

VIP$68.89

Reasoning Web. Web Logic Rules

Wolfgang Faber, Adrian Paschke

VIP$68.89

The Semantic Web: ESWC 2015 Satellite Events

Fabien Gandon, Christophe Guéret, Serena Villata, John Breslin, Catherine Faron-Zucker, Antoine Zimmermann

VIP$68.89

Database and Expert Systems Applications

Qiming Chen, Abdelkader Hameurlain, Farouk Toumani, Roland Wagner, Hendrik Decker

VIP$68.89

Static Analysis of Software

Jean-Louis Boulanger

$267.99

Semantic Web-based Intelligent Geospatial Web Services

Peng Yue

VIP$68.89

Industrial Use of Formal Methods

Jean-Louis Boulanger

$239.99

Programming Languages and Systems

Peter Thiemann

VIP$68.89

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

VIP$64.84

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

VIP$52.66

Structured Object-Oriented Formal Language and Method

Zhenhua Duan, Shaoying Liu

VIP$68.89

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link

VIP$68.89

Introduction to the Theory of Programming Languages

Gilles Dowek, Jean-Jacques Lévy

VIP$48.60

Formal Methods: Foundations and Applications

Bill Roscoe, Márcio Cornélio

VIP$52.66

Natural Language Processing with Java and LingPipe Cookbook

Breck Baldwin, Krishna Dayanidhi

VIP$35.23

or Free with Kobo Plus

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

VIP$68.89

Interactive 3D Multimedia Content

Wojciech Cellary, Krzysztof Walczak

VIP$128.79

Clustering and Information Retrieval

S. Shekhar, Hui Xiong, Weili Wu

VIP$193.63

Small Dynamic Complexity Classes

Thomas Zeume

VIP$68.89

Business Intelligence

Esteban Zimányi

VIP$68.89

Did you like the book?

Be the first to rate and review this book!

This is our Australia store.

Software Specification Methods

Why read with us?

Synopsis

About this book

Book details

How to read

Related Reads

Learning scikit-learn: Machine Learning in Python

Lisp in Small Pieces

Information Modeling and Relational Databases

Introduction to Information Retrieval

Natural Language Annotation for Machine Learning

Relational Theory for Computer Professionals

Model-Driven Software Engineering in Practice

Modern Compiler Implementation in Java

Software Language Engineering

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE

Mastering Text Mining with R

Object-Oriented Analysis and Design for Information Systems

Database Modeling and Design

Machine Learning for the Web

Python Machine Learning By Example

Trends in Functional Programming Volume 6

Systematic Program Design

Information Retrieval Architecture and Algorithms

Machine Learning Algorithms

Artificial Intelligence Programming

Multilingual Natural Language Processing Applications

Bridging Constraint Satisfaction and Boolean Satisfiability

Handbook of Big Data Technologies

Artificial Intelligence Interview Questions You'll Most Likely Be Asked

Mastering Data Mining with Python - Find patterns hidden in your data

Model-Driven and Software Product Line Engineering

Machine Learning for Developers

Formal Development of a Network-Centric RTOS

Practical Machine Learning

Ontologies

Specification of Software Systems

Developing High Quality Data Models

Trustworthy Global Computing

The Semantic Web. Latest Advances and New Domains

Emergent Web Intelligence: Advanced Information Retrieval

Modelling Foundations and Applications

Semantic Computing

The Semantic Web

Web Services and Formal Methods

Transactions on Aspect-Oriented Software Development XII

Fundamentals of Data Warehouses

Functional and Logic Programming

Trends in Functional Programming Volume 7

Practical Aspects of Declarative Languages

Tests and Proofs

Principles of Security and Trust

Formal Methods and Software Engineering

Formal Methods Applied to Complex Systems

Advances in Databases and Information Systems

Trustworthy Global Computing

Trends in Functional Programming

Advances in Databases and Information Systems

Reasoning Web. Web Logic Rules

The Semantic Web: ESWC 2015 Satellite Events

Database and Expert Systems Applications

Static Analysis of Software

Semantic Web-based Intelligent Geospatial Web Services

Industrial Use of Formal Methods

Programming Languages and Systems

Declarative Programming and Knowledge Management

Practical Aspects of Declarative Languages

Structured Object-Oriented Formal Language and Method

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV

Introduction to the Theory of Programming Languages

Formal Methods: Foundations and Applications

Natural Language Processing with Java and LingPipe Cookbook

Formal Aspects of Component Software

Interactive 3D Multimedia Content

Clustering and Information Retrieval

Small Dynamic Complexity Classes

Business Intelligence

Did you like the book?