Електронна книга > Наука > Информатика > Прикладное программное обеспечение > Tiago Massoni & Mohammad Reza Mousavi: Formal Methods: Foundations and Applications (ePUB)

Tiago Massoni & Mohammad Reza Mousavi
Formal Methods: Foundations and Applications [EPUB ebook]
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings

поддержка

Обложка Tiago Massoni & Mohammad Reza Mousavi: Formal Methods: Foundations and Applications (ePUB)

This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical foundations; verification and validation; experience reports regarding teaching formal methods; and applications.Chapter "Te SSLa: Temporal Stream-Based Specification Language" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

€64.33

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

язык английский ● Формат EPUB ● ISBN 9783030030445 ● редактор Tiago Massoni & Mohammad Reza Mousavi ● издатель Springer International Publishing ● опубликованный 2018 ● Загружаемые 3 раз ● валюта EUR ● Код товара 6788135 ● Защита от копирования Adobe DRM

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

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

Tiago Massoni Mohammad Reza Mousavi

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

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

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

Обложка Shikha Jain & Kavita Pandey: Code Factory

Shikha Jain & Kavita Pandey: Code Factory

Beginners in the programming world often wander to get some essential books to learn logic building with the help of algorithms, flowcharts, and minor C/Python language code. Addressing this demand, …

Обложка Jason Alls: Clean Code in C#

Jason Alls: Clean Code in C#

Develop your programming skills by exploring essential topics such as code reviews, implementing TDD and BDD, and designing APIs to overcome code inefficiency, redundancy, and other problems arising …

Обложка Jimmy Engstrom: Web Development with Blazor

Jimmy Engstrom: Web Development with Blazor

Develop modern web UIs with Blazor Server and Blazor Web Assembly now introducing Streaming and Static Server-Side Rendering (SSR) and flexible hosting models in .NET 8Purchase of the print or Kindle …

Обложка Mark S. (Technical Security Strategy, Scottsdale, Arizona, USA) Merkow & Lakshmikanth (PayPal, San Jose, California, USA) Raghavan: Secure and Resilient Software Development

Mark S. (Technical Security Strategy, Scottsdale, Arizona, USA) Merkow & Lakshmikanth (PayPal, San Jose, California, USA) Raghavan: Secure and Resilient Software Development

Although many software books highlight open problems in secure software development, few provide easily actionable, ground-level solutions. Breaking the mold, Secure and Resilient Software Developmen …

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

Обложка Sanjiv Purba: Handbook of Data Management

Sanjiv Purba: Handbook of Data Management

Packed with dozens of no-nonsense chapters written by leading professionals, Handbook of Data Management, 1999 Edition shows your students how to design, build, and maintain high-performance, high-av …

Обложка Brian Lipp & Shubhadeep Roychowdhury: The Data Wrangling Workshop

Brian Lipp & Shubhadeep Roychowdhury: The Data Wrangling Workshop

A beginner»s guide to simplifying Extract, Transform, Load (ETL) processes with the help of hands-on tips, tricks, and best practices, in a fun and interactive way Key Features

Explore data …

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