Catalog > Ciência > Ciência da Computação > Software de Aplicação > Alessandro Abate & Sylvie Boldo: Numerical Software Verification (ePUB)

Alessandro Abate & Sylvie Boldo
Numerical Software Verification [EPUB ebook]
10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Apoio

Capa do Alessandro Abate & Sylvie Boldo: Numerical Software Verification (ePUB)

This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 – colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions.The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

€57.78

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato EPUB ● ISBN 9783319635019 ● Editor Alessandro Abate & Sylvie Boldo ● Editora Springer International Publishing ● Publicado 2017 ● Carregável 3 vezes ● Moeda EUR ● ID 6211190 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Alessandro Abate Sylvie Boldo

16.583 Ebooks nesta categoria

Capa do 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 …

Capa do 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 …

Capa do Darryl Bartlett: Swift Programming in easy steps

Darryl Bartlett: Swift Programming in easy steps

Swift is very easy to learn and it’s more readable than most programming languages. It allows you to build applications for i Phone, i Pad, Apple Watch, Apple TV and Mac. Swift Programming in easy st …

Capa do Arun Prakash Agrawal & Vishal (Sharda University, India) Jain: Computational Intelligence Applications for Software Engineering Problems

Arun Prakash Agrawal & Vishal (Sharda University, India) Jain: Computational Intelligence Applications for Software Engineering Problems

This new volume explores the computational intelligence techniques necessary to carry out different software engineering tasks. Software undergoes various stages before deployment, such as requiremen …

Capa do Robert C Martin: Architecture logicielle propre, 1CU 36 Mois

Robert C Martin: Architecture logicielle propre, 1CU 36 Mois

Vous n’imaginez pas le temps qu’une architecture logicielle bien soignee des le depart peut vous faire gagner. Vous pouvez augmenter fortement la productivite du developpement tout au long du cycle d …

Capa do 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 …

Capa do Li Wei: C++ Template Metaprogramming in Practice

Li Wei: C++ Template Metaprogramming in Practice

Using the implementation of a deep learning framework as an example, C++ Template Metaprogramming in Practice: A Deep Learning Framework explains the application of metaprogramming in a relatively la …

Capa do M. Narasimha Murty & Hari Seetha: Modern Technologies for Big Data Classification and Clustering

M. Narasimha Murty & Hari Seetha: Modern Technologies for Big Data Classification and Clustering

Capa do Adam Aspin: Querying MySQL

Adam Aspin: Querying MySQL

This book will take you on an interactive journey to understand SQL querying from the most basic to the most expert level utilising a variety of SQL techniques to extract relevant insights from your …

Capa do Nakul Shah: Blockchain and DLT

Nakul Shah: Blockchain and DLT

Blockchain secures individual transactions with cryptography, creating a tamper-proof chain. In contrast, distributed ledger technologies cover various technologies that may not adhere strictly to bl …

Próxima página >>>