pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: MODELS, ALGEBRAS AND LOGIC OF ENGINEERING SOFTWARE
By: Manfred Broy (Editor), M. Pizka (Editor)
Format: Hardback

List price: £74.00


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 1586033425
ISBN 13: 9781586033422
Publisher: IOS PRESS
Pub. date: 1 January, 2003
Series: NATO Science Series: Computer & Systems Sciences 191
Pages: 416
Description: This volume focuses on the education of researchers, teachers, students and practitioners. As usual in engineering, a study and application of the relevant branches of mathematics is crucial both in education and practice.
Synopsis: Computer software is a pervasive factor in advancing the progress and increasing the efficiency of industry, science, commerce and communication. Moreover, it is a significant contributor to the general quality of life of the individual citizen. Future potential contributions are likely to be even greater. Realization of the potential and avoidance of the global risks inherent to the introduction of any new technology, will depend on the imagination, invention, skill and professional discipline of future cohorts of software engineers. This volume focuses on the education of researchers, teachers, students and practitioners. As usual in engineering, a study and application of the relevant branches of mathematics is crucial both in education and practice. Only this can give assurance of high reliability and optimization of cost and benefit of an engineering product. In the case of large-scale software design, the relevant technology is provided by logic and algebra, on the basis of general mathematical modelling. The details of application of the technology are increasingly supported by sophisticated tool-sets.
Publication: US
Imprint: IOS Press,US
Returns: Non-returnable
Some other items by this author:
ADVANCED MODEL-BASED ENGINEERING OF EMBEDDED SYSTEMS (HB)
AUTOMOTIVE SOFTWARE-CONNECTED SERVICESIN MOBILE NETWORKS (PB)
CALCULATIONAL SYSTEM DESIGN (HB)
CONSTRUCTIVE METHODS IN COMPUTING SCIENCE (HB)
CONTROL FLOW AND DATA FLOW CONCEPTS OF (HB)
CONTROL FLOW AND DATA FLOW: CONCEPTS OF DISTRIBUTED PROGRAMMING (PB)
DEDUCTIVE PROGRAM DESIGN (HB)
DEDUCTIVE PROGRAM DESIGN (PB)
EINFUHRUNG IN DIE SOFTWARETECHNIK (HB)
ENGINEERING THEORIES OF SOFTWARE INTENSIVE SYSTEMS (HB)
ENGINEERING THEORIES OF SOFTWARE INTENSIVE SYSTEMS (PB)
FORMAL METHODS IN PROGRAMMING AND THEIR APPLICATIONS (PB)
FORMAL SYSTEMS SPECIFICATION (PB)
INDUSTRIE 4.0 (HB)
INFORMATIK (PB)
INFORMATIK (PB)
INFORMATIK (PB)
INFORMATIK (PB)
INFORMATIK UND MATHEMATIK (PB)
INFORMATIK. EINE GRUNDLEGENDE EINFUHRUNG (PB)
INFORMATIK. EINE GRUNDLEGENDE EINFUHRUNG (PB)
KORSO: METHODS, LANGUAGES, AND TOOLS FOR THE CONSTRUCTION OF CORRECT SOFTWARE (PB)
LOGIC OF PROGRAMMING AND CALCULI OF DISCRETE DESIGN (HB)
LOGIC OF PROGRAMMING AND CALCULI OF DISCRETE DESIGN (PB)
LOGISCHE UND METHODISCHE GRUNDLAGEN DER PROGRAMM- UND SYSTEMENTWICKLUNG (PB)
MATHEMATICAL METHODS IN PROGRAM DEVELOPMENT (HB)
MATHEMATICAL METHODS IN PROGRAM DEVELOPMENT (PB)
METHODS OF PROGRAMMING (PB)
MODEL-BASED TESTING OF REACTIVE SYSTEMS (PB)
MODEL-DRIVEN DEVELOPMENT OF RELIABLE AUTOMOTIVE SERVICES (PB)
MODELLBILDUNG IN DER INFORMATIK (HB)
MODELLBILDUNG IN DER INFORMATIK (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEMS INFORMATICS (PB)
PROGRAM CONSTRUCTION (PB)
PROGRAM DESIGN CALCULI (HB)
PROGRAM DESIGN CALCULI (PB)
PROGRAMMING AND MATHEMATICAL METHOD (PB)
PROJEKTORGANISATION UND MANAGEMENT IM SOFTWARE ENGINEERING (HB)
REQUIREMENTS TARGETING SOFTWARE AND SYSTEMS ENGINEERING (PB)
SOFTWARE PIONEERS
SOFTWARE PIONEERS (PB)
SOFTWARE-ENTWICKLUNG FUR KOMMUNIKATIONSNETZE
SPECIFICATION AND DEVELOPMENT OF INTERACTIVE SYSTEMS (HB)
SPECIFICATION AND DEVELOPMENT OF INTERACTIVE SYSTEMS (PB)
THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY (HB)
THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY (PB)
UBUNGEN ZUR EINFUHRUNG IN DIE INFORMATIK (HB)
VDI-LEXIKON INFORMATIK UND KOMMUNIKATIONSTECHNIK

TOP SELLERS IN THIS CATEGORY
Student Solutions Manual for Nonlinear Dynamics and Chaos, 2nd edition (Paperback)
INGRAM PUBLISHER SERVICES US
Our Price : £16.19
more details
Mathematical Methods for Physics and Engineering (Paperback)
Cambridge University Press
Our Price : £38.49
more details
1089 and All That (Paperback)
Oxford University Press
Our Price : £7.29
more details
Mathematical Methods for Physicists (Hardback)
Elsevier Science Publishing Co Inc
Our Price : £88.19
more details
Advanced Engineering Mathematics (Paperback)
John Wiley and Sons Ltd
Our Price : £50.39
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 MATHEMATICS AND SCIENCE
 mathematics
 applied mathematics
 mathematics for scientists & engineers


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
Ramadan and Eid al-Fitr A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
add to basket

Learning
That''s My Story!: Drama for Confidence, Communication and C... The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
add to basket