Computer Books › software verification and analysis an

String Analysis for Software Verification and Security (Paperback)

This is the first existing book focusing on string analysis Discusses how string analysis techniques work and how they can be applied to vulnerability detection in modern software applications This book can be used as a textbook for a course on... more

Handbook of Computer Aided Verification (Hardcover)

Computer aided verification (CAV) refers to the practice and theory of computer-assisted formal analysis of software and hardware systems. The purpose of formal verification is to increase the dependability and safety of software and hardware... more

Pre-Owned Software Abstractions : Logic Language and Analysis 9780262101141 Used

A new approach to software verification introduces Alloy a language that captures the essence of software abstraction with an analysis that is fully automated. CONDITION – USED: Books sold are in GOOD or better condition. Good Condition:... more

Machine Learning for Beginners: A Step-By-Step Guide to Understand Deep Learning Data Science and Analysis Basic Software and Algorithms for Artificial Intelligence (Paperback)

Learn Machine Learning Deep Learning Data Science and More! Machine learning is here; it is changing the world in ways you might not know yet. From search engines to speech recognition on your phone machine learning is taking over. If you have taken... more

Reliability Safety and Security of Railway Systems. Modelling Analysis Verification and Certification: First International Conference Rssrail 2016 Paris France June 28-30 2016 Proceedings (

This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability Safety and Security of RailwaySystems RSSRail 2016 held in Paris France in June 2016. The 15 revised full papers presented were carefully reviewed... more

Deductive verification of object-oriented software : dynamic frames dynamic logic and predicate abstraction (Paperback)

Software systems play a central role in modern society and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work... more

Cloud Computing: Data-Intensive Computing and Scheduling (Hardcover)

As more and more data is generated at a faster-than-ever rate processing large volumes of data is becoming a challenge for data analysis software. Addressing performance issues Cloud Computing: Data-Intensive Computing and Scheduling explores the... more

Advances in Systems Analysis Software Engineering and High: Organizational Legal and Technological Dimensions of Information System Administration (Hardcover)

In addition to capital infrastructure and consumers digital information created by individual and corporate consumers of information technology is quickly being recognized as a key economic resource and an extremely valuable asset to a company.... more

Hardware and Software Verification and Testing: First International Haifa Verification Conference Haifa Israel November 13-16 2005 Revised Selected Papers (Paperback)

The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16 2005. The conference incorporated three different workshops that took place separately in previous years. The... more

Advances in Database Research: Research Issues in Systems Analysis and Design Databases and Software Development (Hardcover)

Designed to provide the understanding of the capabilities and features of modern ideas and concepts in the information systems development database and forthcoming technologies. more

Software Patterns Knowledge Maps and Domain Analysis (Hardcover)

Software design patterns are known to play a vital role in enhancing the quality of software systems while reducing development time and cost. However the use of these design patterns has also been known to introduce problems that can significantly... more

Automated Technology for Verification and Analysis: 15th International Symposium Atva 2017 Pune India October 3-6 2017 Proceedings (Paperback)

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis ATVA 2017 held in Pune India in October 2017. The 22 full and 7 short papers presented in this volume were... more

Developing Software with UML : Object-Oriented Analysis and Design in Practice 9780201756036 Used / Pre-owned

CONDITION – USED: Books sold are in GOOD or better condition. Good Condition: Minimal damage to the cover dust jacket may not be included minimal wear to binding most of the pages undamaged(e.g. minimal creases or tears) highlighting / underlining... more

Pre-Owned Data Structures and Program Design in C 9780137256495

The text emphasizes problem specification and program design; analysis testing and verification; and program correctness. CONDITION – USED: Books sold are in GOOD or better condition. Good Condition: Minimal damage to the cover dust jacket may not... more

Foundations and Trends(r) in Programming Languages: Refinement Types: A Tutorial (Paperback)

Refinement types can be the vector that brings formal verification into mainstream software development. This happy outcome hinges upon the design and implementation of refinement type systems that can be retrofitted to existing languages or... more

Pre-Owned Learning R: A Step-By-Step Function Guide to Data Analysis (Paperback) 1449357105 9781449357108

Learn how to perform data analysis with the R language and software environment even if you have little or no programming experience. With the tutorials in this hands-on guide you? ll learn how to use the essential R tools you need to know to... more

Software Verification: 13th International Conference Vstte 2021 New Haven Ct Usa October 18-19 2021 and 14th International Workshop Nsv 2021 Los Angeles Ca Usa July 18-19 2021 Revised Se

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software VSTTE 2021 and the 14th International Workshop on Numerical Software Verification NSV 2021 held online in July/ October 2021. Due to COVID-19... more

Object-Oriented Analysis and Design: Understanding System Development with UML 2.0 0470092408 (Paperback - Used)

Covering the breadth of a large topic this book provides a thorough grounding in object-oriented concepts the software development process UML and multi-tier technologies. After covering some basic ground work underpinning OO software projects the... more

Pre-Owned Office XP para Dummies 9780764540998

The world s leading suite of productivity software Microsoft Office helps users complete common business tasks including word processing e-mail presentations data management and analysis and much more. CONDITION – USED: Books sold are in GOOD or... more

object oriented analysis and design (Paperback)

Object-oriented analysis and design (OOAD) is a software engineering approach that models a system as a group of interacting objects. Each object represents some entity of interest in the system being modeled and is characterised by its class its... more

Pre-Owned Fundamentals of Embedded Software: Where C and Assembly Meet [With CDROM] (Paperback) 0130615897 9780130615893

This book is intended to provide a highly motivating context in which to learn procedural programming language. It is designed for 2nd year courses in assembly language programming in computer science embedded systems design real-time analysis... more

Pre-Owned R for SAS and SPSS Users (Hardcover) 0387094172 9780387094175

R is a powerful and free software system for data analysis and graphics with over 5 000 add-on packages available. This book introduces R using SAS and SPSS terms with which you are already familiar. It demonstrates which of the add-on packages are... more

Pre-Owned Function Point Analysis: Measurement Practices for Successful Software Projects (Addison-Wesley Information Technology) Paperback

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

Intelligent Systems Reference Library: Challenges of Software Verification (Hardcover)

Challenges of Software Verification more

Lecture Notes in Computer Science: Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference Tacas 2023 Held as Part of the European Joint Conferences on Theor

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference Tacas 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software Etaps 2023 Paris France April 22-27 2023 Proceedings Part II more

Lecture Notes in Networks and Systems: ICT with Intelligent Applications: Ictis 2023 Volume 1 (Paperback)

This book gathers papers addressing state-of-the-art research in all areas of information and communication technologies and their applications in intelligent computing cloud storage data mining and software analysis. It presents the outcomes of the... more

Software Science and Engineering Software Engineering and Environment: An Object-Oriented Perspective (Hardcover)

Software Life Cycle Models. Objectoriented Concepts and Modeling. Formal Specification and Verification. Design Methodologies and Specifications. Programming and Coding. Programming Tools. Declarative Programming. Automatic Program Synthesis and... more

Lecture Notes in Networks and Systems: Iot with Smart Systems: Ictis 2023 Volume 2 (Paperback)

This book gathers papers addressing state-of-the-art research in all areas of information and communication technologies and their applications in intelligent computing cloud storage data mining and software analysis. It presents the outcomes of the... more

Pre-Owned Software Abstractions: Logic Language and Analysis (Hardcover) 0262101149 9780262101141

Software Abstraction introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This text introduces the key elements of the approach - which Jackson calls... more

Windows Internals Supplements: Accelerated Windows API for Software Diagnostics : With Category Theory in View (Paperback)

The book contains the full transcript of Software Diagnostics Services training with 10 hands-on exercises on various topics related to Windows API. Knowledge of Windows API is necessary for: Development Malware analysis Vulnerability analysis and... more

Problems on Algorithms: A Comprehensive Exercise Book for Students in Software Engineering (Hardcover)

Mathematical Induction.- Growth of Functions.- Recurrence Relations.- Algorithm Analysis.- Basic Data Structure.- Hash.- Tree.- Search.- Sorting.- Divide and Conquer.- Dynamic Programming.- Greedy Algorithms.- Graph.- Backtracking Algorithms.- P NP... more

Lecture Notes in Computer Science: Analysis Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Bi

This Festschrift dedicated to Manuel Hermenegildo on the occasion of his 60th birthday contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer Science and Engineering from the University of Texas at... more

Metaverse Communication and Computing Networks: Applications Technologies and Approaches (Hardcover)

Metaverse Communication and Computing Networks Understand the future of the Internet with this wide-ranging analysis Metaverse is the term for applications that allow users to assume digital avatars to interact with other humans and software... more

Statistics and Computing: R for SAS and SPSS Users (Hardcover)

R is a powerful and free software system for data analysis and graphics with over 5 000 add-on packages available. This book introduces R using SAS and SPSS terms with which you are already familiar. It demonstrates which of the add-on packages are... more

Books for Professionals by Professionals: Practical Software Factories in .NET (Hardcover)

The Software Factory methodology is based on recognition of these similarities and a drive to extend the concept of reusability to the point where we achieve entirely automated product lines. Based on an analysis and understanding of the common... more

Automated Technology for Verification and Analysis: Third International Symposium Atva 2005 Taipei Taiwan October 4-7 2005 Proceedings (Paperback)

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003 responding to a growing interest in formal veri?cation spurred by the booming IT industry particularly hardware design and... more

Automated Technology for Verification and Analysis: 9th International Symposium ATVA 2011 Taipei Taiwan October 11-14 2011 Proceedings (Paperback)

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis ATVA 2011 held in Taipei Taiwan in October 2011. The 23 revised regular papers presented together with 5 invited... more

Empirical Software Engineering and Verification: International Summer Schools LASER 2008-2010 Elba Island Italy Revised Tutorial Lectures (Paperback)

Empirical Software Engineering and Verification: International Summer Schools LASER 2008-2010 Elba Island Italy Revised Tutorial Lectures more