E-kitap > Bilim > Bilgisayar Bilimi > Uygulama Yazılımı > 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

Destek

Örtmek 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

Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!

Dil İngilizce ● Biçim EPUB ● ISBN 9783031660641 ● Editör Andrew Reynolds & Serdar Tasiran ● Yayımcı Springer Nature Switzerland ● Yayınlanan 2024 ● İndirilebilir 3 kez ● Döviz EUR ● Kimlik 9589676 ● Kopya koruma Adobe DRM

DRM özellikli bir e-kitap okuyucu gerektirir

Aynı yazardan daha fazla e-kitap / Editör

Andrew Reynolds Serdar Tasiran

16.614 Bu kategorideki e-kitaplar

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

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

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

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Sonraki Sayfa >>>