{"title":"Mcgraw-Hill International Series In Software Engineering","description":null,"products":[{"product_id":"introduction-to-formal-specification-with-z-and-vdm-book-deri-sheppard-9780077079079","title":"Introduction to Formal Specification with Z and VDM","description":"Formal methods emphasize the correct and efficient development of software. This text puts formal specification in the context of traditional methods of software development, including object-orientation, introducing these concepts and the necessary discrete maths, before moving on to look at both Z and VDM in depth, using the case study of a drinks dispensing machine.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49595266138385,"sku":"GOR004041042","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0077079078.jpg?v=1751355698"},{"product_id":"introduction-to-vdm-book-mark-woodman-9780077074340","title":"Introduction to VDM","description":"Offering a tutorial introduction to the VDM formal notation, this text is designed for second- and third-year undergraduates of software engineering. Using notation that blends together both computing and mathematics, it covers the process of writing formal specification, developing abstract modules of data and operation, and design. Special attention is paid to the difficult topic of operation decomposition. The authors describe specific proof obligations, enabling students to develop their software so that the conformity of the design to the specification, and the program code to the design, is guaranteed. Teaching aims are highlighted at the start of each chapter, and the text is based on the Open University software engineering degree.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49606200000785,"sku":"GOR001845403","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49662797775121,"sku":"GOR012360030","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0077074343.jpg?v=1751132150"},{"product_id":"construction-of-formal-specifications-book-lee-mccluskey-9780077077358","title":"Construction of Formal Specifications","description":"Introducing two widely-used approaches to the formal specification of software systems, this book considers VDM and the algebraic approach. In each case, the emphasis is intuitive, rather than mathematical and shows the reader how to construct a formal specification from the first principles by using general procedures that can be followed each time. Familiar applications are referred to throughout and examples, small case studies and problems accompany each chapter. The two approaches are brought together in one large joint case study at the end of the book, as well as a section comparing and contrasting them. The book includes a discussion of prototyping using Prolog, OBJ3 and Miranda. It should be suitable for advanced undergraduates; postgraduates in computing and software engineering; software engineers; programmers; and other computing professionals.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49623978049809,"sku":"GOR004996541","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0077077350.jpg?v=1750693274"},{"product_id":"software-systems-development-book-carol-britton-9780077077129","title":"Software Systems Development","description":"This book was written not only for those wishing to specialize in computer science but for the person who has an interest in the software development process whether as an accountant, manager or client. It follows the development of a system from the client's initial vague idea through a series of transitional stages to the completed software product. The process is illustrated throughout with a case study - the Just a Line Mail Order system. The authors try to combine theoretical and practical angles on both traditional structured analysis techniques with more recent approaches - such as CASE tools and formal notations.","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49626475233553,"sku":"GOR001497829","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0077077121.jpg?v=1751132152"},{"product_id":"introduction-to-software-project-management-and-quality-assurance-book-darrel-ince-9780077074364","title":"Introduction to Software Project Management and Quality Assurance","description":"This work is designed for software engineering undergraduates and software project managers. It leads the reader through the various stages of the process of software development in a practical and readable manner, reflecting current industry standards. Offering an imaginative approach to the subject, the book provides throrough analysis of a range of topics, avoiding the lists of tasks included in similar texts. It incorporates many of the Open University's most provden teaching techniques - with aims and objectives stated at the start of each chapter and numerous self-assessment questions provided throughout. A discussion of quality standards has been included. Interviews with some of the leading figures in areas such as software metrics and techniques highlight the theory discussed in the text.","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49635523199249,"sku":"GOR004616068","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49648348758289,"sku":"GOR001412064","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/007707436X.jpg?v=1751100661"},{"product_id":"objects-and-databases-book-petr-kroha-9780077077907","title":"Objects and Databases","description":"A concise and readable explanation of object-oriented database management systems. Written for programmers with an elementary knowledge of databases, this book gives a concise explanation of object oriented database management systems. Part One acts as a refresher before moving on to tackle more pressing problems. Part Two deals with the concepts of object oriented programming and discusses the use of C++, LISP and SmallTalk and database technology. Part Three describes the logical organization of object oriented database and design, whilst Part Four deals with the implementation techniques used. The reader is therefore provided with a complete overview of the management of object oriented database systems.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49636489167121,"sku":"GOR008232178","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0077077903.jpg?v=1751289992"},{"product_id":"knowledge-engineering-for-information-systems-book-paul-beynon-davies-9780077075866","title":"Knowledge Engineering for Information Systems","description":"Knowledge engineering has always been portrayed as remote from most other disciplines relating to information systems. This book recognizes that knowledge engineering is in fact an important part of the information systems regime and demonstrates the practical application of this methodology to industry. The text includes various examples, exercises and case studies, allowing the reader to fully understand knowledge engineering and all its complexities. A number of techniques presently used within the context of software and information engineering are presented as applicable to knowledge engineering. The book also demonstrates how an expert system can access data from large corporate databases.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49801768534289,"sku":"CIN0077075862G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0077075862.jpg?v=1750843217"},{"product_id":"introduction-to-compiling-techniques-a-first-course-using-ansi-c-lex-and-yacc-book-jeremy-bennett-9780077092214","title":"An Introduction To Compiling Techniques: A First Course Using Ansi C, Lex And Yacc","description":"This work is intended for a first course in compiling techniques and presents the theory and the practical application of concepts. This edition covers shareware alternatives to LEX and YACC; canoninical LR (1) and LALR (L) parsers construction; and global code optimization.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50127225913617,"sku":"GOR002926200","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ GOOD \/ SBYB","offer_id":51324043886865,"sku":"CIN007709221XG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ WELL_READ \/ INTERNAL","offer_id":51682103263505,"sku":"GOR007464501","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/007709221X.jpg?v=1750778985"},{"product_id":"coding-in-turbo-pascal-book-david-sargent-9780077079581","title":"Coding in Turbo Pascal","description":"Defining coding in Pascal and treating this separately from design issues, this book teaches students how to implement an existing design. Starting at a very basic level, the book progresses through procedures, functions, separate compilation, abstract data types and objects. Guidelines for avoiding syntax errors are included throughout and syntax diagrams are introduced. Program test data is considered for every problem in the text, driver programs are discussed and developed and guidelines are provided for the generation of suitable test data. The book includes over 250 exercizes and problems, each with a design to be coded.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50143719620881,"sku":"GOR003036882","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0077079582.jpg?v=1750939824"},{"product_id":"programming-approach-to-formal-methods-book-chris-casey-9780077079680","title":"Programming Approach to Formal Methods","description":"This comprehensive text is an investigation into formal methods for program specification and verification. It shows how formal notations can assist the process of developing software and in communicating and expressing ideas. These ideas are illustrated using VDM and Pascal. This work demonstrates in clear language how the principles of formal methods can be applied to any software development.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50339767157009,"sku":"GOR013933895","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/007707968X.jpg?v=1750939824"},{"product_id":"discrete-event-simulation-in-c-book-kevin-watkins-9780077077334","title":"Discrete Event Simulation in C","description":"This book provides a complete stand alone coverage with which someone conversant with computers could build and analyze the output from a discrete event simulation model. The implementation of models concentrates on the use of general purpose procedure oriented languages, as opposed to special purpose simulation languages, and on the use of C in particular. By concentrating on a widely available language and providing the source code of a simulation library on disk, simulation is made accessible and cost effective in both a teaching and industrial context.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":50463160860945,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50463162597649,"sku":"GOR007050562","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0077077334.jpg?v=1750843222"},{"product_id":"concurrent-systems-book-michael-g-hinchey-9780077076498","title":"Concurrent Systems","description":"This text serves as both a practical reference manual and an introduction for students using the formal specification language CSP and implementing it in the specification and verification of complex, real time and distributed systems. The book contains a tutorial introduction suitable for beginners and uses many examples as well as a realistic case study. The implementation of this case study in occam is described and the implementation of CSP in Ada 9x is also discussed. In addition, up-to-date coverage of the important new variants of CSP is provided and a complete listing of the laws of CSP is given.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51798405742865,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51798405841169,"sku":"GOR004690754","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ WELL_READ \/ INTERNAL","offer_id":52393635938577,"sku":"GOR014514895","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780077076498.jpg?v=1752171648"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/mcgraw-hill-international-series-in-software-engineering-book-series.oembed","provider":"World of Books ","version":"1.0","type":"link"}