You're in Books & Magazines
See Matches in:
Narrow Search Results
Price Range
- By Type Of Product
- Disasters Books
- Educational Fiction Books
- Literature Books
- Erotica Books
- Family & Friendship Books
- Settings Books
- Historical Fiction Books
- Holocaust Books
- more...
By Seller
By Keyword
 | Practical Formal Software Engineering: Wanting the Software You Get - Mills Bruce Practical Formal Software Engineering is a textbook aimed at final year undergraduate and graduate students emphasizing formal methods in writing robust code quickly. Engineering is an informal process using formal logics as tools and components to... more | $94.87 $28.74 go to store |
 | Pre-Owned Practical Formal Software Engineering : Wanting the Software You Get 9780521879033 A textbook with a practical bent for final year undergraduate and graduate students emphasising formal methods in writing robust code quickly. Assuming prior experience with C C++ or Java programming languages this book examines the interaction between... more | $5.92 $4.50 FREE shipping go to store |
 | Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective rigorous and systematic... more | FREE shipping go to store |
 | FREE shipping go to store |
 | Antenna Engineering Using Physical Optics: Practical Cad Techniques And Software | FREE shipping go to store |
 | Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories speci?cation languages design techniques and veri?cation methods and tools have been developed and applied to the construction... more | $109.99 $95.74 FREE shipping go to store |
 | Our books are pre-loved which means they have been read before. We carefully check all our books and believe them to be in a - USED - VERY GOOD Condition condition. If you re not completely satisfied please get in touch & we ll be happy to help.... more | FREE shipping go to store |
 | A Framework for Managing Measuring and Predicting Attributes of Software Development Products and ProcessesReflecting the immense progress in the development and use of software metrics in the past decades Software Metrics: A Rigorous and Practical... more | FREE shipping go to store |
 | Software Portability with Imake : Practical Software Engineering 9781565922266 Used / Pre-owned Ideal for X and UNIX programmers who want their software to be portable this edition covers the current version of the X Windows System (X11R6.1) using Imake for non-UNIX systems such as Windows NT and some of the quirks about using Imake under Open... more | FREE shipping go to store |
 | Many systems devices and appliances used routinely in everyday life ranging from cell phones to cars contain significant amounts of software that is not directly visible to the user and is therefore called embedded . For coordinating the various... more | $149.99 $123.98 FREE shipping go to store |
 | This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods SEFM 2021 held virtually during December 6-10 2021. The 21 contributed papers presented... more | $79.99 $53.55 go to store |
 | This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods held in Grenoble France in September 2014. The 26 papers included in this volume were carefully... more | $64.00 $52.99 FREE shipping go to store |
 | ICSR is the premier international conference in the ?eld of software reuse. The main goal of ICSR is to present the advances and improvements within the software reuse domain as well as to promote interaction between researchers and practitioners. The... more | $109.00 $52.99 FREE shipping go to store |
 | This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS). The chapters included are devoted to various techniques and... more | FREE shipping go to store |
 | The cost of fixing software design flaws after the completion of a software product is so high that it is vital to come up with ways to detect software design flaws in the early stages of software development for instance during the software... more | $24.29 $21.15 go to store |
 | A Framework for Managing Measuring and Predicting Attributes of Software Development Products and ProcessesReflecting the immense progress in the development and use of software metrics in the past decades Software Metrics: A Rigorous and Practical... more | $54.95 $48.29 FREE shipping go to store |
 | This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods SEFM 2022 which took place in Berlin Germany in September 2022. The 19 full and 3 short papers included in this book were... more | $68.94 $48.16 go to store |
 | This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods ISoLA 2022 which took place in Rhodes Greece in October/November 2022. The... more | $79.99 $54.53 go to store |
 | With the integration of computing and communication into the very fabric of our social economic and personal existence the manner in which we think about and build software has become the subject of intense intellectual scienti?c and engineering... more | FREE shipping go to store |
 | Our books are pre-loved which means they have been read before. We carefully check all our books and believe them to be in a - USED - VERY GOOD Condition condition. If you re not completely satisfied please get in touch & we ll be happy to help.... more | FREE shipping go to store |
 | Covers both basic and advanced techniques for marine vehicle controlDescribes experimental methods in detailProvides a wealth of practical examples solutions and corresponding software codes more | $83.47 $60.08 FREE shipping go to store |
 | Modeling in Event-B: System and Software Engineering (Hardcover) A practical text suitable for an introductory or advanced course in formal methods this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement the... more | FREE shipping go to store |
 | Pre-Owned Fundamentals of Software Engineering (Hardcover) 0138204322 9780138204327 This volume provides a look at the fundamentals of software engineering - stressing principles methods and rigorous formal and informal approaches. more | FREE shipping go to store |
 | The 2009 SERA Conference covered theory and practice in many areas of software engineering including formal methods and tools requirements engineering computer security database retrieval and more. This book offers 17 papers voted as best of the... more | FREE shipping go to store |
 | This textbook presents a concise introduction to the fundamental principles of software engineering together with practical guidance on how to apply the theory in a real-world industrial environment. The wide-ranging coverage encompasses all areas of... more | $46.22 $38.68 go to store |
 | Pre-Owned Software Engineering Project Management 9780818680007 Used Newly revised for 2001 this second edition of Richard Thayers popular bestselling book presents a top-down practical view of managing a successful software engineering project. The book builds a framework for project management activities based on the... more | FREE shipping go to store |
 | Over the past decade there has been an increase in attention and focus on the discipline of software engineering. Software engineering tools and techniques have been developed to gain more predictable quality improvement results. Process standards such... more | FREE shipping go to store |
 | Embedded Software System Testing: Automatic Testing Solution Based on Formal Method (Hardcover) This book introduces embedded software engineering and management methods proposing the relevant testing theory and techniques that promise the final realization of automated testing of embedded systems. The quality and reliability of embedded systems... more | go to store |
 | Object-Oriented Software Engineering: Using UML Patterns and Java 3e Using a step-by-step case study to illustrate the concepts and topics in each chapter Bruegge and Dutoit emphasize learning object-oriented software engineer through practical experience: readers can apply the techniques learned in class by... more | $42.00 $34.00 FREE shipping go to store |
 | 9780134390789. Pre-Owned: Good condition. Hard cover. Pages: 320. 320 p. SEI Series in Software Engineering . Intended for college/higher education audience. Designing Software Architectures will teach you how to design any software architecture in a... more | $27.59 $13.88 FREE shipping go to store |
 | Pre-Owned Software Design 9780201544039 A clear and balanced guide to the software design methods most widely used by practicioners Software Design surveys a broad range of formal and systematic methods and examines their role in software engineering comparing their strengths and... more | FREE shipping go to store |
 | Developing Real World Software (Paperback) Ideal for use in a software engineering lab or special topics setting Developing Real World Software is a practical guide for developing useful real world software applications that are high performing secure reliable and configurable. It expands upon... more | $76.37 $60.00 FREE shipping go to store |
 | Petri Nets for Systems Engineering: A Guide to Modeling Verification and Applications (Paperback) Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods based on Petri net... more | $97.98 $89.92 FREE shipping go to store |
 | Advances in Industrial Control: Process Control: Engineering Analyses and Best Practices (Hardcover) Process Control details the core knowledge and practical skills that a successful process control practitioner needs. It explains the essential technologies that are in use in current industrial practice or which may be wanting for the future. The book... more | FREE shipping go to store |
 | Autonomous and nonautonomous Chua s circuits are of special significance in the study of chaotic system modeling chaos-based science and engineering applications. Since hardware and software-based design and implementation approaches can be applied to... more | $94.73 $87.00 FREE shipping go to store |
 | Pre-Owned Developing Real World Software 9780763773199 Ideal for use in a software engineering lab or special topics setting Developing Real World Software is a practical guide for developing useful real world software applications that are high performing secure reliable and configurable. It expands upon... more | FREE shipping go to store |
 | Pre-Owned Fundamentals of Vehicle Dynamics 9781560911999 Attempts to find a middle ground by balancing engineering principles and equations of use to every automotive engineer with practical explanations of the mechanics involved so that those without a formal engineering degree can still comprehend and use... more | $41.55 $33.21 FREE shipping go to store |
 | Springer Texts in Statistics: Statistical Analysis of Financial Data in S-Plus (Paperback) This book develops the use of statistical data analysis in finance and it uses the statistical software environment of S-PLUS as a vehicle for presenting practical implementations from financial engineering. It introduces tools for the estimation and... more | $106.63 $98.00 FREE shipping go to store |
 | Game Physics Pearls (Hardcover) Implementing physical simulations for real-time games is a complex task that requires a solid understanding of a wide range of concepts from the fields of mathematics physics and software engineering. This book is a gems-like collection of practical... more | $43.16 $37.93 go to store |
Ads related to practical formal software engineering wanting
