Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Duration Calculus

Name: Duration Calculus
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562989
Price: 2357 CZK
Availability: InStock
Author: Zhou Chaochen
ISBN: 9783540408239

A Formal Approach to Real-time Systems

Zhou Chaochen

M. R. Hansen

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 01562989

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, prosinec 2003

Duration calculus constitutes a formal approach to the development of real-time systems; as an inter... Celý popis

Libristo kód: 01562989

236 b

2 357 Kč

Skladem u dodavatele Odesíláme za 10-13 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Veranderungen der Kreditvergabepraxis von Banken an mittelstandische Unternehmen Markus Schäfer

Brožovaná

976 Kč

La Educación a Tiempo Completo en Curitiba y el Programa Más Educación

Brožovaná

1 419 Kč

Der kleine Gernhardt Robert Gernhardt

Adobe ePub DRM

398 Kč

POEMAS DE AMOR, DOLOR Y ESPERANZA ARRIBAS MARTINEZ

Kniha

443 Kč

Die vielen Farben des Autismus Thomas Girsberger

Brožovaná

555 Kč

Optika a prístroje I pre UO fotograf Miriam Andrejiová Ján

Brožovaná

800 Kč

SOY PILGRIM (CAMPAÑA DE VERANO EDICION LIMITADA) HAYES

Brožovaná

245 Kč

Arabischer Titel ____ _____ _ _______

Brožovaná

675 Kč

Collier de La Reine Alexandre Dumas

Brožovaná

485 Kč

Feldenkrais Eli Wadler Helmut Wehren

Brožovaná

269 Kč

Old Leather, Black Moroccan, Midi, Lin Paperblanks

Diář

364 Kč

Zahlenzauber - Mathematik für Grundschulen - Ausgabe G für Baden-Württemberg, Hessen, Rheinland-Pfalz und Saarland - 2010 - 3. Schuljahr Bettina Betz

Brožovaná

748 Kč

Full-Pay-Out Leasing versus Fremdfinanzierung Anna Fendel

Brožovaná

329 Kč

Luxusgegenstände und Kunstwerke vom Mittelalter bis zur Gegenwart Markwart Herzog

Pevná

1 488 Kč

Jekonometrika Ajzhan Ibyzhanova

Brožovaná

1 115 Kč

Vodní nůž Paolo Bacigalupi

Pevná

314 Kč

Das Mysterium oder heiliges Geheimnis der wunderdemütigen Fußwaschung Jesu Christi Carl von Reifitz

Brožovaná

958 Kč

Figures d'Hier Et d'Aujourd'hui (Ed.1883) Victor Fournel

Brožovaná

628 Kč

Русская история Наталья Майорова

Pevná

142 Kč

Ayudantes de Instituciones Penitenciarias. Test y casos prácticos CLAVIJO GAMERO

Brožovaná

1 494 Kč

Reflexiones Idries Shah

Brožovaná

355 Kč

Kioto2 : cómo gestionar el efecto invernadero global Isabel Bermejo

Brožovaná

747 Kč

Nunca comas solo KEITH FERRAZZI

Audio CD

455 Kč

Die Principien Der Mechanik: Mathematische Untersuchungen (1901) Leo Koenigsberger

Brožovaná

663 Kč

Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an appropriate level of abstraction.This book presents the logical foundations of duration calculus in a coherent and thorough manner. Through selective case studies it explains how duration calculus can be applied to the formal specification and verification of real-time systems. The book also contains an extensive survey of the current research in this field.The material included in this book has been used for graduate and postgraduate courses, while it is also suitable for experienced researchers and professionals.

Herečka & Polyglotka

EWA KASP pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Duration Calculus

Autor Zhou Chaochen, M. R. Hansen

Jazyk

Angličtina

Vazba Kniha - Pevná

Datum vydání 2003

Počet stran 250

EAN 9783540408239

ISBN 3540408231

Libristo kód 01562989

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 1210

Rozměry 155 x 235 x 19

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství

Výpočetní a informační technologie > Informatika > Teorie algoritmů

Výpočetní a informační technologie > Informatika > Architektura počítače a logic design

Darujte tuto knihu ještě dnes

Je to snadné

1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Color in Anna Akhmatova's Early Poetry Alsu Shakirova

Brožovaná

1 209 Kč

English Writings of Hu Shih Hu Shih

Pevná

2 357 Kč

Introduction to Radiation Protection Claus Grupen

Brožovaná

1 723 Kč

Chicken Licken MAIRI MACKINNON

Brožovaná

161 Kč

Our Cosmic Ancestors Maurice Chatelain

Brožovaná

274 Kč

Technology and Business Model Innovation: Challenges and Opportunities Bahaaeddin Alareeni

Brožovaná

4 876 Kč

JUST FOR THE SUMMER JIMENEZ ABBY

Brožovaná

470 Kč

Embattled Priest Jervis S Zimmerman

Pevná

675 Kč

Analysis Of Factors Affecting Investment Decisions Of Commercial Banks Otieno Jared

Brožovaná

1 217 Kč

Essentials of Tissue Banking George Galea

Brožovaná

4 400 Kč

Big Book of Killer Su Doku Book 1 Richardson Puzzles and Games

Brožovaná

213 Kč

History of Financial Accounting (RLE Accounting) J. Edwards

Brožovaná

1 578 Kč

Paper Boats Erndell Scott

Brožovaná

341 Kč

The Pilgrimage of Grace, 1536-1537, and the Exeter Conspiracy, 1538; Volume 2 Ruth Dodds

Pevná

837 Kč

Homeward - Finde deine Bestimmung 3D, 1 Blu-ray Michael Johnson

Blu-ray

456 Kč

WORLDS WILDEST WATERS BARR CATHERINE

Pevná

457 Kč

Special Effects Lettering and Calligraphy: A Beginner's Step-By-Step Guide to Creating Amazing Lettered Art - Explore New Styles, Colors, and Mediums Frösén

Brožovaná

417 Kč