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 Methods: Applications and Technology

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods: Applications and Technology Lubos Brim
Libristo kod: 01568175
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, veljača 2007
This book constitutes the thoroughly refereed joint post-proceedings of the two International Worksh... Cijeli opis
? points 154 b
61.44 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

RASPRODAJA
Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade / Tvrdi uvez
common.buy 7.46 €
Eye of the Wolf Daniel Pennac / Meki uvez
common.buy 8.26 €
Aerodynamics of Low Reynolds Number Flyers Wei ShyyYongsheng LianJian TangDragos Viieru / Meki uvez
common.buy 63.86 €
Terra magica Ostsee-Kreuzfahrt Christian Prager / Tvrdi uvez
common.buy 19.77 €
Business, Politics and International Relations Clemens WurmPatrick Salmon / Meki uvez
common.buy 51.14 €
Ontologie und Dialektik Theodor W. Adorno / Meki uvez
common.buy 19.97 €
Blut und Feuer Michael Gratzke / Meki uvez
common.buy 30.46 €
Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle / Meki uvez
common.buy 39.34 €
Life Skills Matters Grade 1 Student's Book Erato-Nadia BizosPenny HansenMirna Lawrence / Meki uvez
common.buy 5.64 €
PRIPREMAMO NOVO
Unbekanntes München Karl Häusler / Tvrdi uvez
common.buy 15.63 €
Flussschiffbau Wilhelm Teubert / Meki uvez
common.buy 145.08 €
"Kominform-Konflikt 1948 - Jugoslawiens Revolte gegen Moskaus Hegemonie Damir Hajric / Meki uvez
common.buy 44.08 €
Marked Point Processes on the Real Line Andreas Brandt / Tvrdi uvez
common.buy 273.12 €
Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove / Tvrdi uvez
common.buy 1 348.58 €
Less Than Zero Stuart J. Murphy / Meki uvez
common.buy 5.84 €
Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf / Meki uvez
common.buy 77.38 €

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

Informacije o knjizi

Puni naziv Formal Methods: Applications and Technology
Autor Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2007
Broj stranica 366
EAN 9783540709510
ISBN 3540709517
Libristo kod 01568175
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 575
Dimenzije 155 x 235 x 22

Kategorija

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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 > Systems analysis & design
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