Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

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 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Tools and Algorithms for the Construction and Analysis of Systems

Name: Tools and Algorithms for the Construction and Analysis of Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01655535
Price: 61.28 EUR
Availability: InStock

Javier Esparza

Rupak Majumdar

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 01655535

Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ožujak 2010

This book constitutes the refereed proceedings of the 16th International Conference on Tools and Alg... Cijeli opis

Libristo kod: 01655535

154 b

61.28 €

Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Geschichte, Nationsbildung und Legitimationspolitik in Laos Oliver Tappe

/ Meki uvez

30.48 €

From Reasons to Norms Torbjörn Tännsjö

/ Tvrdi uvez

120.75 €

Vier zauberhafte Schwestern und die fremde Magie, 2 Audio-CDs Sheridan Winn

/ Audio CD

13.88 €

This book constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.§The 35 papers presented were carefully reviewed and selected from 134 submissions. The topics covered are probabilistic systems and optimization, decision procedures, tools, automata theory, liveness, software verification, real time and information flow, and testing.

Informacije o knjizi

Puni naziv Tools and Algorithms for the Construction and Analysis of Systems

Autor Javier Esparza, Rupak Majumdar

Jezik

Engleski

Uvez Knjiga - Meki uvez

Datum izdanja 2010

Broj stranica 468

EAN 9783642120015

ISBN 3642120016

Libristo kod 01655535

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

Težina 741

Dimenzije 155 x 235 x 27

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

Computing & Information Technology > Computer hardware > Network hardware

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 > Computer architecture & logic design

Computing & Information Technology > Computer science > Artificial intelligence

Computing & Information Technology > Operating systems

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

Dostava

Savjetnik za kupnju