The construction of formal specifications : an introduction to the model-based and algebraic approaches /

• Turner, John
• McCluskey, T. Lee

• Software Specification -- Program Design -- Computer Science.
• Software Design -- Computer Science.
• Program Design -- Computer Science.
• Fault-tolerance -- Programming -- Computer Science.
• Algorithms -- Programming -- Computer science.

• McGraw-Hill,

• McGraw-Hill international series in software engineering

• 0077077350

• Discrete mathematics
• Java GUI programmers primer
• B book assigning programs to meanings
• Mastering Java
• Conceptual schema & relational database design
• Modern compiler implementation in Java basic techniques
• Java class libraries
• C++ programming language
• AI for games and animation a cognitive modeling approach
• Modern compiler design
• Software project management
• Formal methods fact file VDM and Z
• Essence of logic
• practical introduction to denotational semantics
• Software engineering with B
• Java for students
• Core J2EE patterns best practices and design strategies
• Principles of object oriented software development
• JFC Swing tutorial a guide to constructing GUIs
• B method an introduction
• Designing enterprise applications with the Java 2 Platform Enterprise Edition
• Introduction to discrete mathematics
• introduction to functional programming through lambda calculus
• Programming the Internet with Java
• Algorithms
• Artificial intelligence structures and strategies for complex problem solving
• Introduction to computable languages and abstract machines
• Modern compiler implementation in Java
• Modern compiler implementation in Java
• Java programming with CORBA advanced techniques for building distributed applications
• Introduction to neural computing
• Data structures and problem solving using Java
• Software metrics a rigorous and practical approach
• Software engineering
• Advanced CORBA programming with C++
• Software engineering principles and practice
• Developing Java software
• Computing concepts with Java 2 essentials
• Artificial intelligence a modern approach
• Software engineering
• JDBC database access with Java a tutorial and annotated reference
• essence of neural networks
• Learning C++
• Sams teach yourself UML in 24 hours
• Prolog programming for artificial intelligence
• C++ programming with CORBA
• Data structures and algorithms in Java
• Concurrency state models & Java programs
• Java in distributed systems concurrency distribution and persistence
• introduction to data structures and algorithms with Java
• Javaspaces principles patterns and practice
• Relational databases
• Java first contact
• Human computer interaction psychology task analysis and software engineering
• Java gently
• Database systems concepts languages & architectures
• Usability engineering
• Practical JavaScript programming
• Database systems a practical approach to design implementation and management
• Schaums outline of UML
• introduction to database systems
• UML distilled applying the standard object modeling language
• Preparing your own CV how to improve your chances of getting the job you want
• Foundation mathematics
• Interaction design beyond human computer interaction