Kód: 01655828
Advanced Lectures on Software Engineering
Autor Peter Müller
This tuturial offers selected papers from the LASER summer Schools 2007 and 2008, covering verification of fine-grain concurrency and transactions, the SCOOP model, the Spec programming and verification system, multi-core chip des ... celý popis
- Jazyk:
Angličtina - Vazba: Brožovaná
- Počet stran: 189
Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
- Více informací o knize
1355 Kč
Skladem u dodavatele v malém množství
Odesíláme za 14-21 dnů
Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
Přidat mezi přání
Mohlo by se vám také líbit
-
Incredible English: 1: Activity Book
301 Kč -
Visionary I Ching Cards
427 Kč -
Fundamentals of aerospace engineering: An introductory course to aeronautical engineering
596 Kč -
In Every Generation
318 Kč -
Straight to First Workbook with Answers Pack
256 Kč -
Deutschland politisch mit Bundesländerwappen
219 Kč -
Easy Way to Learn French Through English in 30 Days
320 Kč -
Atlas of Robotic Thoracic Surgery
5289 Kč -
Mopsorożek i wakacyjna przygoda. Sklepik z magicznymi zwierzętami
102 Kč -
HSK Syllabus Vocabulary Workbook Level 5 (HSK 5)
397 Kč -
Mathematics and Its History
1440 Kč -
Puzzle the Universe
348 Kč -
Restored To Freedom - School Of Ministry - Training Curriculum
196 Kč -
Introduction to Plant Immunity
1478 Kč -
NYMAN: SELF LAUDATORY HYMN OF INANNA (SCORE)
405 Kč -
EL TERROR
164 Kč -
Grundlagen Der Pharmaceutischen Waarenkunde: Einleitung In Das Studium Der Pharmacognosie (1873)
554 Kč -
Apple Tree Wish
812 Kč -
Foraging
1665 Kč -
Evrim Teorisi & Yaratilis Gercekligi-i
1104 Kč -
Die Wahrsagerin kleiner Schicksale
379 Kč -
British Political Elite and the Soviet Union
2147 Kč -
From Electrons to Elephants and Elections
2827 Kč -
Never Give Up
2548 Kč -
Niente e come sembra: IL CULO nella letteratura italiana dal medioevo all'800
786 Kč -
Die jungen Alten
1195 Kč -
La mer couleur de vin
515 Kč -
PEBBLES FROM OLD PATHWAYS
576 Kč -
Nonlinear Stochastic Systems Theory and Applications to Physics
1182 Kč -
Obsessive Compulsive Disorder
358 Kč -
Calidad Total
557 Kč -
Notes and Sketches
3001 Kč -
Whistling Factory
647 Kč -
Test Prep Sanity: How To Help Your Child Excel On Standardized Tests Without Driving Each Other Crazy
339 Kč -
An American Four-In-Hand In Britain (1907)
772 Kč -
Zeszyt 150 zadań, zabaw i ciekawostek
215 Kč -
Konjunktur und Kaufentscheidungen
2681 Kč -
Social Security Benefits What You Need to Know When Filing
340 Kč -
Moreshet Sepharad: The Sephardi Legacy
2164 Kč -
Monopolies and Trusts
424 Kč -
Genesis Brief: The Sin Factor
271 Kč -
T-Rex Virus
361 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Více informací o knize Advanced Lectures on Software Engineering
Nákupem získáte 136 bodů
Anotace knihy
This tuturial offers selected papers from the LASER summer Schools 2007 and 2008, covering verification of fine-grain concurrency and transactions, the SCOOP model, the Spec programming and verification system, multi-core chip design and much more.
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer hardware Network hardware
1355 Kč
- Plný název: Advanced Lectures on Software Engineering
- Podnázev: LASER Summer School 2007/2008
- Autor: Peter Müller
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 189
- EAN: 9783642130090
- ISBN: 3642130097
- ID: 01655828
- Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Hmotnost: 313 g
- Rozměry: 234 × 157 × 12 mm
- Datum vydání: 20. May 2010
Oblíbené z jiného soudku
-
RouterOS by Example, 2nd Edition
1292 Kč -
Cisco ACI: Zero to Hero
1112 Kč -
Introducing Microsoft Teams
941 Kč -
Introduction to Reliable and Secure Distributed Programming
1753 Kč -
Cisco Firepower Threat Defense (FTD)
1730 Kč -
Beginning Sensor Networks with XBee, Raspberry Pi, and Arduino
1753 Kč -
IoT Development for ESP32 and ESP8266 with JavaScript
941 Kč -
Salesforce Consultant's Guide
775 Kč -
Monetizing Machine Learning
1358 Kč -
Investigating the Cyber Breach
966 Kč -
Formal Methods for Open Object-Based Distributed Systems
1182 Kč -
Beginning FPGA: Programming Metal
1358 Kč -
Digital Twin
4238 Kč -
Resilient Routing in Communication Networks
3352 Kč -
RouterOS by Example, 2nd Edition
1600 Kč -
6G Enabled Fog Computing in IoT
4238 Kč -
UAV Swarm Cooperation
4238 Kč -
Integrated Sensing, Communication and Computing Networks
1399 Kč -
Wi-Fi 7
1269 Kč -
Human Re-Identification
2646 Kč -
Achievements in European Research on Grid Systems
3799 Kč -
Formal Modeling: Actors; Open Systems, Biological Systems
1350 Kč -
Scaling Networks v6 Labs & Study Guide
1127 Kč -
Future Networking Essentials
1025 Kč -
IPTV Delivery Networks - Next Generation Architectures for Live and Video-on-Demand Services
3146 Kč -
Practical Bot Development
1025 Kč -
Context Management for Distributed and Dynamic Context-Aware Computing
1350 Kč -
Advanced Computer Science and Information Technology
1355 Kč -
Introduction to Network Programming with Java
1468 Kč -
High Performance Embedded Architectures and Compilers
1350 Kč -
On the Move to Meaningful Internet Systems: OTM 2011
1350 Kč -
Accidental SysAdmin Handbook
1191 Kč -
Constructive Side-Channel Analysis and Secure Design
1182 Kč -
HCNA Networking Study Guide
1155 Kč -
Advancements in Artificial Intelligence and Machine Learning
6007 Kč -
Distributed Medium Access Control in Wireless Networks
1350 Kč -
Introduction to Networks v6 Labs & Study Guide
1127 Kč -
Networked Digital Technologies, Part I
2675 Kč -
Piecewise Linear Modeling and Analysis
4059 Kč -
Protocol Engineering
1887 Kč -
Network Control and Optimization
1350 Kč -
Innovative Computing Vol 2 - Emerging Topics in Future Internet
5178 Kč -
Cyber Defense and Situational Awareness
2074 Kč -
Power Distribution and Performance Analysis for Wireless Communication Networks
1350 Kč -
Advances in Computing and Information Technology
2745 Kč -
Distributed Applications and Interoperable Systems
1182 Kč -
The Essential PIC18® Microcontroller
2881 Kč -
Logics and Models of Concurrent Systems
2357 Kč -
Big Data
1535 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 48004 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)