phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Formal Modeling and Analysis of Timed Systems

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 156 b
62.34 €
Vanjske zalihe Šaljemo za 13-18 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Encyclopedia of the History of Astronomy and Astrophysics David Leverington / Tvrdi uvez
common.buy 73.75 €
Gut Gegen Nordwind Daniel Glattauer / Tvrdi uvez
common.buy 17.14 €
Handbuch der Mechanischen Verfahrenstechnik Heinrich Schubert / Tvrdi uvez
common.buy 716.46 €
Engineering the Channel Tunnel / Tvrdi uvez
common.buy 360.80 €
Britische Arbeitsbeziehungen Irene Dingeldey / Meki uvez
common.buy 45.09 €
Field Guide to the Information Commons Charles Forrest / Meki uvez
common.buy 126.92 €
Materials Science in Static High Magnetic Fields Kazuo Watanabe / Tvrdi uvez
common.buy 121.07 €
Edinburgh Travel Guide 2015 Jack M Hirschman / Meki uvez
common.buy 15.23 €
Meine besten Geschichten als Landhebamme Rosalie Linner / Tvrdi uvez
common.buy 24.00 €
Expanding World of Chemical Engineering S. Furusaki / Meki uvez
common.buy 84.34 €
Chemielaborant/-in / List
common.buy 27.64 €

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.

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

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