The B-method : an introduction /
authors:
Schneider, Steve.
subjects:
B method (Computer science)
publishers:
Palgrave,
series:
Cornerstones of computing
ISBN:
033379284X
notes:
Includes index.
people who borrowed this, also borrowed:
Introduction to Java programming
Software development with Z a practical approach to formal methods in software engineering
Applying use cases a practical guide
Discrete mathematics for computing
Rapid Java application development using JBuilder 456
Specification in B an introduction using the B toolkit
Techniques of PROLOG programming with implementation of logical negation and quantified goals
Using UML software engineering with objects and components
Algorithms and data structures design correctness analysis
Java tutorial continued the rest of the JDK
Core J2EE patterns best practices and design strategies
Computing concepts with Java essentials
Database modeling & design the fundamental principles
Java Servlet Programming
Software engineering with B
Advanced Java 2 platform how to program
Teach yourself TCPIP in 14 days
Distributed systems concepts and design
Java programming with CORBA advanced techniques for building distributed applications
Graphic Java 2 mastering the JFC Swing
Introduction to neural computing
Principles of object oriented software development
construction of formal specifications an introduction to the model based and algebraic approaches
Clientserver programming with Java and CORBA
Foundation discrete mathematics for computing
Teach yourself C++ in 21 days
Data structures and algorithms in Java
Modern compiler implementation in Java
Computing concepts with Java 2 essentials
Information security protecting the global enterprise
Data structures and algorithms in Java
essence of neural networks
Visual Basic coach
Visual modeling with Rational Rose 2000 and UML
Concurrency state models & Java programs
Software engineering principles and practice
HTML sourcebook a complete guide to HTML 3 2 and HTML extensions
Introduction to computable languages and abstract machines
Usability inspection methods
Software engineering a practitioners approach
essential guide to user interface design an introduction to GUI design principles and techniques
UML distilled applying the standard object modeling language
Design patterns elements of reusable object oriented software
Developing software with UML object oriented analysis and design in practice
PHP and MySQL Web development
Visual Basic 6
Fundamentals of database systems
Sams teach yourself UML in 24 hours
Java in distributed systems concurrency distribution and persistence
Prolog programming for artificial intelligence
Schaums outline of UML
JDBC database access with Java a tutorial and annotated reference
Software engineering
essence of computing projects a students guide
Instant CORBA
Using UML software engineering with objects and components
introduction to data structures and algorithms with Java
Programming PHP
Javaspaces principles patterns and practice
Usability engineering
Sams teach yourself C++ in 24 hours
PHP and MySQL Web development
Java first contact
Relational database principles
Learning SQL a step by step guide using Oracle
C++ programming with CORBA
Software development with UML
Foundation mathematics
Interaction design beyond human computer interaction
Human computer interaction
perfect CV how to get the job you really want
No sweat the indispensable guide to reports and dissertations
University of Huddersfield Library Catalogue