Catalog > Ciencia > Informática > Software de aplicación > Andrew Reynolds & Serdar Tasiran: Verified Software. Theories, Tools and Experiments (ePUB)

Andrew Reynolds & Serdar Tasiran
Verified Software. Theories, Tools and Experiments [EPUB ebook]
15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Soporte

Portada de Andrew Reynolds & Serdar Tasiran: Verified Software. Theories, Tools and Experiments (ePUB)

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23-24, 2023.The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.

€57.46

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Inglés ● Formato EPUB ● ISBN 9783031660641 ● Editor Andrew Reynolds & Serdar Tasiran ● Editorial Springer Nature Switzerland ● Publicado 2024 ● Descargable 3 veces ● Divisa EUR ● ID 9589676 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

Andrew Reynolds Serdar Tasiran

16.614 Ebooks en esta categoría

Portada de Max Wainewright: Coding with Scratch - Make 3D Games & Graphics

Max Wainewright: Coding with Scratch – Make 3D Games & Graphics

Coding with Scratch – Make 3D Games & Graphics starts by showing you how to make 3D graphics and then, step-by-step, it takes you through to making 3D games. Try the challenges and mods and make your …

Portada de Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume III, with contributions from experts in their fields, incl …

Portada de Donald K. Burleson: Oracle Internals

Donald K. Burleson: Oracle Internals

If you are a typical Oracle professional, you don»t have the luxury of time to keep up with new technology and read all the new manuals to understand each new feature of the latest release from Orac …

Portada de Elvis Foster & Bradford Towle Jr.: Software Engineering

Elvis Foster & Bradford Towle Jr.: Software Engineering

Software Engineering: A Methodical Approach (Second Edition) provides a comprehensive, but concise introduction to software engineering. It adopts a methodical approach to solving software engineerin …

Portada de Norbert Druml & Andreas Genser: Solutions for Cyber-Physical Systems Ubiquity

Norbert Druml & Andreas Genser: Solutions for Cyber-Physical Systems Ubiquity

Portada de Mike McGrath: R for Data Analysis in easy steps, 2nd edition

Mike McGrath: R for Data Analysis in easy steps, 2nd edition

R for Data Analysis in easy steps, 2nd edition has an easy-to-follow style that will appeal to anyone who wants to produce graphic visualizations to gain insights from gathered data. The book begins …

Portada de Timur Yaroshenko: Design Patterns in .NET

Timur Yaroshenko: Design Patterns in .NET

A comprehensive guide that takes you on a journey through the world of design patterns in .NET, empowering you to create software that is not only robust and efficient but also maintainable, scalable …

Portada de Dr. Pratiyush Guleria: Basics of Python Programming

Dr. Pratiyush Guleria: Basics of Python Programming

The basics of Python are the book’s main focus. With practical examples, students will understand the fundamentals of Python. This book is designed in a way that should make every example understanda …

Portada de Ashfaque (SCM Consulting, Bhilai, Chattisgarh, India) Ahmed & Bhanu (Florida A&M University, Tallahassee, USA) Prasad: Foundations of Software Engineering

Ashfaque (SCM Consulting, Bhilai, Chattisgarh, India) Ahmed & Bhanu (Florida A&M University, Tallahassee, USA) Prasad: Foundations of Software Engineering

The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of the areas of software engineering that …

Portada de Carlos Otero: Software Engineering Design

Carlos Otero: Software Engineering Design

Taking a learn-by-doing approach, Software Engineering Design: Theory and Practice uses examples, review questions, chapter exercises, and case study assignments to provide students and practitioners …

siguiente página >>>