Catalog > Sains > Sains Komputer > Perisian Aplikasi > Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems (ePUB)

Tiziana Margaria & Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems [EPUB ebook]
12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Sokongan

perlindungan daripada Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems (ePUB)

The ISo LA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISo LA 2024, which took place in Crete, Greece, in October 2024. ISo LA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

€76.87

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Inggeris ● Format EPUB ● ISBN 9783031751073 ● Penyunting Tiziana Margaria & Bernhard Steffen ● Penerbit Springer Nature Switzerland ● Diterbitkan 2024 ● Muat turun 3 kali ● Mata wang EUR ● ID 10027194 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Tiziana Margaria Bernhard Steffen

16,674 Ebooks dalam kategori ini

perlindungan daripada Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Now in its third edition, this bestseller will appeal to anyone, of any age, who wants to begin coding. Use Coding for Beginners in easy steps to help you quickly create a programming environment on …

perlindungan daripada 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 …

perlindungan daripada Mark Merkow: Secure, Resilient, and Agile Software Development

Mark Merkow: Secure, Resilient, and Agile Software Development

A collection of best practices and effective implementation recommendations that are proven to work, Secure, Resilient, and Agile Software Development leaves the boring details of software security t …

perlindungan daripada Donald J. Reifer: Software Maintenance Success Recipes

Donald J. Reifer: Software Maintenance Success Recipes

Software Maintenance Success Recipes identifies actionable formulas for success based on in-depth analysis of more than 200 real-world maintenance projects. It details the set of factors that are usu …

perlindungan daripada 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 …

perlindungan daripada S. Karthik & N. Karthikeyan: Deep Learning Innovations and Their Convergence With Big Data

S. Karthik & N. Karthikeyan: Deep Learning Innovations and Their Convergence With Big Data

perlindungan daripada J. D. Glaser: Secure Development for Mobile Apps

J. D. Glaser: Secure Development for Mobile Apps

The world is becoming increasingly mobile. Smartphones and tablets have become more powerful and popular, with many of these devices now containing confidential business, financial, and personal info …

perlindungan daripada Alessandro Del Sole: Xamarin with Visual Studio

Alessandro Del Sole: Xamarin with Visual Studio

For any mobile developer, it’s clear that Xamarin knowledge is vital, thanks to the reintroduction of .NET MAUI. This book provides the reader with complete hands-on experience in designing cross-pla …

perlindungan daripada Mounir Boussetta: Building Kotlin Applications

Mounir Boussetta: Building Kotlin Applications

Kotlin is a modern, expressive, and concise programming language popular among developers for its many benefits. These include its interoperability with Java, ability to build native mobile and web a …

perlindungan daripada Rajendra Gupta & Prashanth Jayaram: PowerShell Essential Guide

Rajendra Gupta & Prashanth Jayaram: PowerShell Essential Guide

In the last decade, Power Shell has propelled in every way in the automation arena. Since the inception of Power Shell, it has become a de facto tool for automation, and it is the favorite solution o …

Muka surat seterusnya >>>