Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Modeling and Analysis of Timed Systems

8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Modeling and Analysis of Timed Systems Krishnendu Chatterjee
Libristo kod: 01656493
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, kolovoz 2010
This book constitutes the proceedings of the 8th International Conference on Formal Modeling and Ana... Cijeli opis
? points 142 b
58.69 €
Vanjske zalihe u manjem broju Šaljemo za 14-21 dana

Do 30 dana za povrat

Kupci su kupili i

Gut Gegen Nordwind Daniel Glattauer / Knjiga Tvrdi uvez
common.buy 17.02 €
Pripremamo
Der Laden der unerfüllten Träume Silvia Lutz / Knjiga Meki uvez
common.buy 15.30 €
Britische Arbeitsbeziehungen Irene Dingeldey / Knjiga Meki uvez
common.buy 35.98 €
Goldelse Eugenie Marlitt / Knjiga Meki uvez
common.buy 31.22 €
Chemielaborant/-in / Knjiga List
common.buy 29.49 €
Meine besten Geschichten als Landhebamme Rosalie Linner / Knjiga Tvrdi uvez
common.buy 22.40 €
Manual da Conciliaç?o e mediaç?o Trabalhista - Volume 1: De acordo com Resoluç?es n° 288/21 e 141/20 do Conselho Superior da Justiça do Trabalho - CSJ Luiz Antonio Loureiro Travain / Knjiga Meki uvez
common.buy 17.12 €
Tesis de exito 4.0 Rodrigo Daniel Castillo González / Knjiga Meki uvez
common.buy 10.33 €
Pomme Christophe Adam / Knjiga Tvrdi uvez
common.buy 18.24 €
Je Me l'Demande, Revue de l'Annee 1866, En 10 Tableaux Saint-Agnan Choler / Knjiga Meki uvez
common.buy 12.76 €
Merlin Cycle 3 - tome 1 Le grand arbre d'Avalon T. A. Barron / Knjiga Meki uvez
common.buy 21.69 €
CUENTOS VENEZOLANOS David Alizo / Knjiga Meki uvez
common.buy 11.04 €
Postele Pavel Džuban / Knjiga Meki uvez
common.buy 10.23 €
Le vilain petit canard Koganhan / Knjiga Meki uvez
common.buy 6.78 €
Der Baader-Meinhof-Komplex Stefan Aust / Knjiga Tvrdi uvez
common.buy 30.51 €

This book constitutes the proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010, held in Klosterneuburg, Austria in September 2010. §The 14 papers presented were carefully reviewed and selected from 31 submissions. In addition, the volume contains 3 invited talks and 2 invited tutorials.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share an interest in the modeling and analysis of timed systems. Typical topics include foundations and semantics, methods and tools, and applications.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Modeling and Analysis of Timed Systems
Autor Krishnendu Chatterjee, Thomas A. Henzinger
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2010
Broj stranica 257
EAN 9783642152962
ISBN 3642152961
Libristo kod 01656493
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 408
Dimenzije 155 x 239 x 15

Kategorija

Reference, Information & Interdisciplinary subjects > Research & information: general > Information theory > Cybernetics & systems theory
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Materials Science in Static High Magnetic Fields Kazuo Watanabe / Knjiga Tvrdi uvez
common.buy 109.59 €
Early-Age Orthodontics In Pediatric Dentistry Tushar Pruthi / Knjiga Meki uvez
common.buy 49.97 €
Woodturner's Project Book: Basic to Advanced Techniques Ellis Hein / Knjiga Meki uvez
common.buy 20.67 €
"Are You Strong, Lass?": "You'll Need to be Working Here... Kath Padgett / Knjiga Meki uvez
common.buy 18.95 €
Top
Encyclopedia of the History of Astronomy and Astrophysics David Leverington / Knjiga Tvrdi uvez
common.buy 70.76 €
Brand Your Instagram Nicole Smith / Knjiga Meki uvez
common.buy 13.37 €
The Life Watch & Creatures of the Abyss Lester Del Rey / Knjiga Meki uvez
common.buy 13.07 €
Books of William Morris Forman Harry Buxton Forman / Knjiga Meki uvez
common.buy 19.76 €
Verbivoracious Festschrift Volume Six G.N. FORESTER / Knjiga Meki uvez
common.buy 20.06 €
The Outdoorsman: A Spiritual Survival Guide Douglas J Pyszka / Knjiga Meki uvez
common.buy 11.45 €
What Shape Is This? - Trace and Color Geometry Books for Kids Children's Math Books Baby Professor / Knjiga Meki uvez
common.buy 14.29 €
Biomimicry in Architecture Michael Pawlyn / E-knjiga Adobe ePub DRM
common.buy 49.87 €
Staying the Course Alice W. Brown / E-knjiga Adobe ePub DRM
common.buy 4.35 €
Anyone Can Be Rich Champion Idogun / Knjiga Meki uvez
common.buy 19.36 €
Top
Cobalt Red: How the Blood of the Congo Powers Our Lives KARA SIDDHARTH / Knjiga Meki uvez
common.buy 10.84 €
Purpose-Driven Organisation in Times of Climate Crisis Katie Bailey / Knjiga Meki uvez
common.buy 64.98 €
Pathemata, Or, the Story of My Mouth NELSON MAGGIE / Knjiga Meki uvez
common.buy 15.81 €
My Book Of Subtraction Kumon / Knjiga Meki uvez
common.buy 11.04 €
Dictionary of Ceramic Science and Engineering McColm / Knjiga Tvrdi uvez
common.buy 206.21 €
Field Guide to the Information Commons Charles Forrest / Knjiga Meki uvez
common.buy 115.98 €
Food Film James R. Keller / Knjiga Meki uvez
common.buy 33.85 €
Routes of Passage Ruth Simms Hamilton / Knjiga Meki uvez
common.buy 26.76 €
Engineering the Channel Tunnel Colin Kirkland / Knjiga Tvrdi uvez
common.buy 417.50 €
Expanding World of Chemical Engineering S. Furusaki / Knjiga Meki uvez
common.buy 83.63 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun