Електронна книга > Наука > Информатика > Прикладное программное обеспечение > 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

поддержка

Обложка 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

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!

язык английский ● Формат EPUB ● ISBN 9783031660641 ● редактор Andrew Reynolds & Serdar Tasiran ● издатель Springer Nature Switzerland ● опубликованный 2024 ● Загружаемые 3 раз ● валюта EUR ● Код товара 9589676 ● Защита от копирования Adobe DRM

Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

Andrew Reynolds Serdar Tasiran

16 614 Электронные книги в этой категории

Обложка 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 …

Обложка 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 …

Обложка 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 …

Обложка 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 …

Обложка Norbert Druml & Andreas Genser: Solutions for Cyber-Physical Systems Ubiquity

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

Обложка 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 …

Обложка 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 …

Обложка 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 …

Обложка Pooja Kelgaonkar: Mastering Snowflake Platform

Pooja Kelgaonkar: Mastering Snowflake Platform

Handling ever evolving data for business needs can get complex. Traditional methods create bulky and costly-to-maintain data systems. Here, Snowflake emerges as a cost-effective solution, catering to …

Обложка 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 …

Следущая страница >>>