Formal Modeling and Analysis of Timed Systems

Name: Formal Modeling and Analysis of Timed Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559288
Price: 54.51 EUR
Availability: InStock
Author: Kim G. Larsen
ISBN: 9783540216711

First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Kim G. Larsen

Peter Niebert

Língua

Inglês

Livro Capa mole

Código Libristo: 01559288

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, abril 2004

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop o... Descrição completa

Código Libristo: 01559288

132 b

54.51 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Праздник как по нотам. Соусы: 100 изумительных рецептов для придания блюдам совершенства (хюгге-формат) Валери Друэ

Livro de capa dura

16.61 €

MYTHOMORPHIA. Ekstremalne kolorowanie i wyszukiwanie wyd. 2023 Kerby Rosanes

Capa mole

7.79 €

Die Sowjetmacht Alexander Rabinowitch

Livro de capa dura

35.36 €

Krebs - Eine unheilbare Krankheit? Christoph Poß

Capa mole

23.81 €

Depešáci Peter Gärtner

Capa mole

16.51 €

Бисер.Подробное пошаговое пособие со схемами плетения.30 крутых моделей

Capa mole

10.83 €

Justice League Unlimited tome 2 Waid Mark

Livro

24.41 €

Florentin Dorothea Schlegel

Capa mole

12.46 €

Métodos de extracción de ADN Minal Chaudhary

Capa mole

34.04 €

Medalist - Band 11 Tsurumaikada

Capa mole

8.71 €

Histoire du moyen âge, invasion des barbares, empire d'occident. 3e édition Adolphe Rion

Capa mole

14.58 €

Banken Otto Hübner

Capa mole

51.88 €

I Love to Share Shelley Admont

Capa mole

16.61 €

Die Bilanzierung latenter Steuern im handelsrechtlichen Jahresabschluss nach § 274 HGB Daniel Siegel

Capa mole

55.73 €

de l'Oeuvre Sociale Et de l'Outil Representatif LA GERVAISAIS-N-L-M

Capa mole

13.67 €

Voyage d'Italie. T. 1 (Ed.1743) Maximilien Misson

Capa mole

29.48 €

Eva the Adventurer. Eubha an Dána-thurasaiche: Bilingual Book: English + Gáidhlig (Scottish Gaelic) Elly Gedye

Capa mole

0.90 €

Aristophanous Ploutos: Plutus, Comédie D'aristophane Aristophanes

Capa mole

22.08 €

82. Kongre Professor Dr. B. Schlegel

Capa mole

50.97 €

BABADADA black-and-white, Amharic (in Geʽez script) - Deutsch, visual dictionary (in Geʽez script) - Bildwoerterbuch Babadada Gmbh

Capa mole

7.08 €

Wonderball - Komplett-Bundle J.-P. Pécau

Livro de capa dura

56.95 €

Catalogue d'Objets d'Art Et de Curiosite, Faiences de Perse, Porcelaines de Saxe, Laques Du Japon Charles Mannheim

Capa mole

13.67 €

Nevermore Cécile Wajsbrot

Capa mole

22.79 €

Coffret intégrale le Petit Nicolas - 7 volumes GOSCINNY/SEMPE

Capa mole

134.07 €

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003.The 19 revised full papers presented together with an invited paper and the abstracts of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing timed systems are addressed; among the timed systems dealt with are timed automata, timed Petri nets, max-plus algebras, real-time systems, discrete time systems, timed languages, and real-time operating systems.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Formal Modeling and Analysis of Timed Systems

Autor Kim G. Larsen, Peter Niebert

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2004

Número de páginas 281

EAN 9783540216711

ISBN 3540216715

Código Libristo 01559288

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 920

Dimensões 155 x 233 x 17

Categorias

Informática & tecnologia da informação > Ciência informática > Inteligência artificial > Sistemas especialistas/sistemas baseados no conhecimento

Matemática & ciência > Matemática > Matemática aplicada

Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas

Informática & tecnologia da informação > Bases de dados > Captura e análise de dados

Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica

Ofereça este livro hoje

É fácil

1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Leveled Texts for Mathematics: Number and Operations Teacher Created Materials

Capa mole

38.50 €

Fuzzy Logic in Action: Applications in Epidemiology and Beyond Eduardo Massad

Livro de capa dura

163.06 €

Amazing 7-Day, Super-Simple, Scripted Guide to Teaching or Learning Decimals Lisa Hernandez

Capa mole

15.80 €

World Revolution Or the Plot Against Civilization Nesta H. Webster

Livro de capa dura

47.83 €

Duncan Sandys and the Informal Politics of Britain's Late Decolonisation Peter Brooke

Livro de capa dura

100.93 €

A Thanksgiving Discourse: The Rule of Divine Providence Applicable to the Present Circumstances of Our Country, Delivered in the First Presbyter George Duffield

Capa mole

12.66 €

Arriving To Planet Noah: The Law of Attraction For All Mario N Lopez

Capa mole

13.47 €

Kenka Bancho Otome: Love's Battle Royale, Vol. 2 Chie Shimada

Capa mole

10.23 €

Essay on Satirical Entertainments. to Which Is Added, Steven's New Lecture Upon Heads, Now Delivering at the Theatre Royal, Hay-Market. with Critical MULTIPLE CONTRIBUTOR

Livro de capa dura

29.79 €

From Population Control To Reproductive Health Mohan Rao

Capa mole

17.22 €

Red Famine Anne Applebaum

Capa mole

15.80 €

Braiding Sweetgrass Robin Wall Kimmerer

Capa mole

13.37 €

Journey from St. Petersburg to Moscow Alexander Radishchev

Capa mole

17.93 €

A Mingled Yarn: Sketches on Various Subjects (1883) Henry Edwards

Livro de capa dura

39.31 €

City Green DyAnne DiSalvo-Ryan

Capa mole

8.40 €

The Nervous Child, V10, No. 1, 1952: Our Present Knowledge of Schizophrenia in Childhood Ernest Harms

Capa mole

29.79 €

Joe Louis vs. Billy Conn Ed Gruver

Livro de capa dura

26.34 €

Bilingual Flash Cards - Alphabet, Colors & Shapes, First Words, and Numbers (English/Spanish) (Set of 4)

Jogo

13.98 €

Thirty-One Strange Stories (Ilustrated) Robert de Aquino

Capa mole

15.80 €

KNIFE EDGE an utterly addictive Northern Irish crime thriller KERRY BUCHANAN

Capa mole

13.06 €

Prism Level 2 Listening & Speaking Student's Book with Digital Pack Sabina Ostrowska

Capa mole

89.58 €

The Professed Cook; Or, the Modern Art of Cookery, Pastry, & Confectionary, Made Plain and Easy: Consisting of The Most Approved Methods in The French B Clermont

Livro de capa dura

40.22 €

Sound and Silence – My Experience with China and Literature Lianke Yan

Capa mole

28.57 €

MATT SPROUTS01 CURSE OF THE 10 BROKEN TO EICHELDINGER MATTHEW

Capa mole

10.63 €

Procurado com frequência

Categories

Authors

Publishers

Procurado com frequência

Mercadoria

Categories

Authors

Publishers

Entrega

Guia de compras

Formal Modeling and Analysis of Timed Systems

First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Os clientes também compraram

Sobre o livro

Categorias

Ofereça este livro hoje

É fácil

Também pode estar interessado em

Procurado com frequência

Categories

Authors

Publishers

Formal Modeling and Analysis of Timed Systems

First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Os clientes também compraram

Sobre o livro

Categorias

Ofereça este livro hoje

É fácil

Também pode estar interessado em

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!