Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Modeling and Analysis of Timed Systems

4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Modeling and Analysis of Timed Systems Eugene Asarin
Codul Libristo: 01564776
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 2006
This book constitutes the refereed proceedings of the 4th International Conference on Formal Modelin... Descrierea completă
? points 132 b
287.02 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Fusé - Memoirs of the Hunter Girl - Edition DVD renseigné / Carte Carte broșată
common.buy 114.78 lei
Le journal de Tosa KI NO TSURAYUKI Carte Carte broșată
common.buy 92.18 lei
Ella, yo y la gran idea de ser valientes (Valientes) CHERRY CHIC / Audio Audio CD
common.buy 113.74 lei
Reti basate su IP RAJIV GHIMIRE / Carte Carte broșată
common.buy 244.22 lei
L'Essai de Logique de Mariotte: Archeologie Des Idees D'Un Savant Ordinaire Sophie Roux / Carte Carte broșată
common.buy 205.09 lei
Gra pozorów. Gra imprezowa. Wydanie 2022 Jonathan Chaffer / Joc / Jucărie Joc
common.buy 49.28 lei
Das St. Galler Management-Modell Johannes Rüegg-Stürm / Carte Copertă tare
common.buy 262.33 lei
!MADRE MIA!.MADRES EN LA FICCION PEREZ GIL / Carte Carte
common.buy 121.58 lei
Duna - Grafický román 2 Brian Herbert / Carte Copertă tare
common.buy 109.55 lei
Burg Treuchtlingen. Geschichte bewahren - 50 Jahre Fördergemeinschaft Burg Treuchtlingen Werner Baum / Carte Copertă tare
common.buy 117.92 lei
L'invitation Maja KASTELIC / Carte Copertă tare
common.buy 103.27 lei
Umbruch der internationalen Leasingbilanzierung Matthias Wos / Carte Carte broșată
common.buy 100.44 lei
ESSperimente 3. Bd.3 Sieglinde Mertlitz / Carte Copertă tare
common.buy 78.89 lei
Schulpastoral an berufsbildenden Schulen des dualen Schulsystems Markus Seibt / Carte Carte broșată
common.buy 160.82 lei
Unter Javas Tropensonne Louis Couperus / Carte Carte broșată
common.buy 75.44 lei
Der Böse steht noch einmal auf ... und andere Klischees aus Hollywood-Filmen Christian G. Salis / Carte Carte broșată
common.buy 72.30 lei
Leben Und Meinungen Des Herrn Andreas Von Balthesser Richard Schaukal / Carte Carte broșată
common.buy 124.83 lei
Herzenssache Deutsches Lauftherapiezentrum Klaus Richter / Carte Carte broșată
common.buy 60.79 lei
Utilizzo di Reti Neurali per la ricostruzione dei Parametri di Volo Solano Marco / Carte Carte broșată
common.buy 278.23 lei
Lion Joseph Kessel / Carte Carte broșată
common.buy 62.36 lei
La maleta de la ciencia : 60 experimentos de aire y agua y centenares de recursos para todos Enric Pere Ramiro Roca / Carte Carte broșată
common.buy 137.91 lei
Estampas de Italia Charles Dickens / Carte Carte broșată
common.buy 106.93 lei
INTRODUCCIÓN A LA ANTIFILOSOFÍA BORIS GROYS / Carte Carte broșată
common.buy 131.21 lei
Gesammelte Werke Moriz Carriere / Carte Carte broșată
common.buy 199.12 lei

This book constitutes the refereed proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006. The book presents 22 revised full papers presented together with 3 invited talks. Coverage includes work on foundations and semantics of timed systems including timed automata, timed Petri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formal Modeling and Analysis of Timed Systems
Autor Eugene Asarin, Patricia Bouyer
Limba engleză
Legare Carte - Carte broșată
Data publicării 2006
Număr pagini 372
EAN 9783540450269
ISBN 3540450262
Codul Libristo 01564776
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1200
Dimensiuni 155 x 235 x 21

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Mathematics & Science > Mathematics > Applied mathematics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Step Forward: Level 3: Workbook Janet Podnecky / Carte Carte broșată
common.buy 145.55 lei
Smile Bandages Vertie Pringle-Reid / Carte Copertă tare
common.buy 133.83 lei
Classical Place Names in the United States Wolfgang M Schutte / Carte Carte broșată
common.buy 91.34 lei
Almost Home: The Public Landscapes of Gertrude Jekyll Kristine F. Miller / Carte Copertă tare
common.buy 362.57 lei
Corporal Boskin's Cold Cold War Joseph Boskin / Carte Copertă tare
common.buy 108.92 lei
Curând
Local Government in Bangladesh Islam / Carte Copertă tare
common.buy 948.15 lei
Win at Work and Succeed at Life - 5 Principles to Free Yourself from the Cult of Overwork Michael Hyatt / Carte Carte broșată
common.buy 66.44 lei
Great Ballets Russes and Modern Art Reiko Harajo / Carte Carte broșată
common.buy 253.01 lei
Unlikely Liberal Matthew Zencey / Carte Copertă tare
common.buy 108.92 lei
Need You Dead Peter James / Carte Carte broșată
common.buy 48.54 lei
Huguenots of Colonial South Carolina Arthur H Hirsch / Carte Carte broșată
common.buy 163.86 lei
Main Issues in Mental Health and Race OLAJIDE / Carte Copertă tare
common.buy 943.96 lei
Old Barn: Making a Barn Scale Model from Scratch Sebastian Perez / Carte Carte broșată
common.buy 156.85 lei
Leftin
Tight Alessandra Torre / Carte Carte broșată
common.buy 39.96 lei
Richardson's Commercial Law W. P. RICHARDSON / Carte Carte broșată
common.buy 121.37 lei
Evie, the Star Princess PHIL ROSENBERG / Carte Carte broșată
common.buy 100.65 lei
Magical Capitalism Timothy De Waal Malefyt / Carte Carte broșată
common.buy 1 046.40 lei
Terrorists in Cuba: Featuring Gazda: Presidential Trouble Shooter David B Graham / Carte Carte broșată
common.buy 47.29 lei
World Music Pedagogy, Volume VI: School-Community Intersections Campbell / Carte Carte broșată
common.buy 339.97 lei
Advances in Physical Ergonomics and Safety Tareq Z. Ahram / Carte Copertă tare
common.buy 803.43 lei
Forensic Archaeology and New Multidisciplinary Approaches Pier Matteo Barone / E-book Adobe ePub DRM
common.buy 846.75 lei
Empire Builders: An Illustrated History of the Rise and Fall of Cleveland's Van Sweringen Brothers John J. Grabowski / Carte Copertă tare
common.buy 266.09 lei
Cat Tweets Trevor Davies / E-book Adobe ePub DRM
common.buy 5.64 lei
Color John Rohrbach / Carte Copertă tare
common.buy 581.80 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo