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 €!

Theoretical Aspects of Computing - ICTAC 2016

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Theoretical Aspects of Computing - ICTAC 2016 Augusto Sampaio
Libristo kod: 13938115
Nakladnici Springer International Publishing AG, rujan 2016
This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical A... 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

Admiralty Law for the Maritime Professional Janis Schulmeisters Esq / Meki uvez
common.buy 82.12 €
Las crónicas yugoslavas / Meki uvez
common.buy 15.83 €
Dalai Lama Genevieve Blais / Meki uvez
common.buy 12.70 €
Revolution Recherches Historiques Sur l'Origine Et La Propagation Du Mal En Europe T04 Gaume-J / Meki uvez
common.buy 32.18 €
La grande guerra sulla Marmolada. Il mistero dei 15 fanti di Forcella V Katia Pari / Meki uvez
common.buy 21.88 €

This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016. The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on program verification; design, synthesis and testing; calculi; specifications; composition and transformation; automata; temporal logics; tool and short papers.

Informacije o knjizi

Puni naziv Theoretical Aspects of Computing - ICTAC 2016
Autor Augusto Sampaio, Farn Wang
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2016
Broj stranica 479
EAN 9783319467498
ISBN 3319467492
Libristo kod 13938115
Nakladnici Springer International Publishing AG
Težina 7489
Dimenzije 155 x 235 x 28

Kategorija

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Discrete 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
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