Catalog > Nauka > Informatyka > Oprogramowanie użytkowe > Luca Aceto & Anna Ingolfsdottir: Reactive Systems (PDF)

Luca Aceto & Anna Ingolfsdottir
Reactive Systems [PDF ebook]
Modelling, Specification and Verification

Wsparcie

Pokrywa Luca Aceto & Anna Ingolfsdottir: Reactive Systems (PDF)

€104.75

Kup ten ebook, a 1 kolejny otrzymasz GRATIS!

Język Angielski ● Format PDF ● ISBN 9780511332142 ● Wydawca Cambridge University Press ● Opublikowany 2007 ● Do pobrania 6 czasy ● Waluta EUR ● ID 2334133 ● Ochrona przed kopiowaniem Adobe DRM

Wymaga czytnika ebooków obsługującego DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

Luca Aceto Anna Ingolfsdottir Kim Guldstrand Larsen Jiri Srba

16 941 Ebooki w tej kategorii

Pokrywa Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee - An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee – An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

’… an engaging book that will empower readers in both large and small software development and engineering organizations to build security into their products. … Readers are armed with firm …

Pokrywa Howard Anderson & Bruce Hellingsworth: Higher National Computing

Howard Anderson & Bruce Hellingsworth: Higher National Computing

Higher National Computing 2e is a new edition of this extremely successful course book, updated specifically to cover the compulsory core units of the 2003 BTEC Higher National Computing schemes. Ful …

Pokrywa Lakshman Bulusu: Open Source Data Warehousing and Business Intelligence

Lakshman Bulusu: Open Source Data Warehousing and Business Intelligence

Open Source Data Warehousing and Business Intelligence is an all-in-one reference for developing open source based data warehousing (DW) and business intelligence (BI) solutions that are business-cen …

Pokrywa 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 …

Pokrywa Saad Motahhir: Smart Embedded Systems and Applications

Saad Motahhir: Smart Embedded Systems and Applications

This book covers a wide range of challenges, technologies and state-of-the-art for the design, development and realization of smart and complex embedded systems and their applications; i.e., software …

Pokrywa Alan Clements: Computer Architecture with Python and ARM

Alan Clements: Computer Architecture with Python and ARM

<p><b>Learn computer architecture with Python and ARM, simulating assembly program execution and designing a computer simulator Purchase of the print or Kindle book includes a free PDF e …

Pokrywa Ankita Patil & Mitesh Soni: Infrastructure Automation with Terraform

Ankita Patil & Mitesh Soni: Infrastructure Automation with Terraform

This book explains how to quickly learn and utilize Terraform to incorporate Infrastructure as Code into a continuous integration and continuous delivery pipeline. The book gives you the step-by-step …

Pokrywa 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 …

Pokrywa Jimmy Russell: 101 Amazing Atari 2600 Facts

Jimmy Russell: 101 Amazing Atari 2600 Facts

In this, the first title in Jimmy Russell’s Games Console History series, we learn 101 amazing facts about Atari’s seminal 2600, the first truly popular home family computer games system. The facts c …

Pokrywa Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

The book covers data privacy in depth with respect to data mining, test data management, synthetic data generation etc. It formalizes principles of data privacy that are essential for good anonymizat …

Następna strona >>>