Catalog > Wetenschappen > Computerwetenschappen > Toepassingssoftware > Marco Bernardo & Vittorio Cortellessa: Formal Methods for Model-Driven Engineering (PDF)

Marco Bernardo & Vittorio Cortellessa
Formal Methods for Model-Driven Engineering [PDF ebook]
12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Ondersteuning

Hoes van Marco Bernardo & Vittorio Cortellessa: Formal Methods for Model-Driven Engineering (PDF)

This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management.

€57.46

Koop dit e-boek en ontvang er nog 1 GRATIS!

Taal Engels ● Formaat PDF ● ISBN 9783642309823 ● Editor Marco Bernardo & Vittorio Cortellessa ● Uitgeverij Springer Berlin Heidelberg ● Gepubliceerd 2012 ● Downloadbare 3 keer ● Valuta EUR ● ID 6322942 ● Kopieerbeveiliging Adobe DRM

Vereist een DRM-compatibele e-boeklezer

Meer e-boeken van dezelfde auteur (s) / Editor

Marco Bernardo Vittorio Cortellessa Alfonso Pierantonio

16.614 E-boeken in deze categorie

Hoes van 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 …

Hoes van 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 …

Hoes van 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, …

Hoes van 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 …

Hoes van 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 …

Hoes van Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications

Hoes van 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 …

Hoes van 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 …

Hoes van Diego Pacheco & Sam Sgro: Principles of Software Architecture Modernization

Diego Pacheco & Sam Sgro: Principles of Software Architecture Modernization

This book is a comprehensive guide to designing scalable and maintainable software written by an expert. It covers the principles, patterns, anti-patterns, trade-offs, and concepts that software deve …