E-bok > Sciences > Datavetenskap > Applikationsprogram > 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

Stöd

Omslag till 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

Köp den här e-boken och få 1 till GRATIS!

Språk Engelska ● Formatera EPUB ● ISBN 9783031660641 ● Redaktör Andrew Reynolds & Serdar Tasiran ● Utgivare Springer Nature Switzerland ● Publicerad 2024 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 9589676 ● Kopieringsskydd Adobe DRM

Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

Andrew Reynolds Serdar Tasiran

16 614 E-böcker i denna kategori

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

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

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

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Nästa sida >>>