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 Techniques for Networked and Distributed Systems - FORTE 2003

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Techniques for Networked and Distributed Systems - FORTE 2003 Hartmut König
Libristo kod: 01558642
Nakladnici Springer, Berlin, studeni 2002
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on F... Cijeli opis
? points 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

Angličtina Slovní hry Gabrielle Smith-Dluha / Meki uvez
common.buy 3.61 €
Reiki praktická kniha Horst Günther / Tvrdi uvez
common.buy 11.16 €
Ptákovina Milan Kundera / Audio CD
common.buy 7.34 €
RASPRODAJA
Razítka Dinosaurus, felt-tip pens box / Proizvodi od papira
common.buy 15.89 €
PRIPREMAMO
Beyit: Red Dragon (Foiled Journal) Flame Tree / Rokovnik
common.buy 8.75 €
Macanudo 3 Ricardo Liniers / Meki uvez
common.buy 9.35 €
Adventures of Tom Sawyer Mark Twain / Meki uvez
common.buy 16.49 €
Staat, Nation, Europa Ernst-Wolfgang Böckenförde / Meki uvez
common.buy 18.10 €
Alte vs. neue Rechnungslegung auf der Aktivseite der Bilanz und dessen Auswirkungen fur die Unternehmen Tobias Niess / Meki uvez
common.buy 40.55 €
Sharing the Work Myra H. Strober / Tvrdi uvez
common.buy 9.55 €
Einbildungskraft als Organon der Ethik: Novalis und Leopardi Karin B. Gilardoni-Büch / Tvrdi uvez
common.buy 47.69 €
Eccentric Lives and Peculiar Notions John Michell / Meki uvez
common.buy 15.99 €
Perspective in Nuclear Physics Sun-Chan Jeong / Meki uvez
common.buy 137.46 €
Shock Dynamics Z. Han / Tvrdi uvez
common.buy 326.45 €
Engendering the Buddhist State Ashley Thompson / Tvrdi uvez
common.buy 211.13 €
Bioinorganic Chemistry Robert J. P. Williams / Tvrdi uvez
common.buy 358.96 €

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2003, held in Berlin, Germany in September/October 2003.§§The 24 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on application of formal description techniques (FDTs), verification, timed automata, verification of security protocols, testing, and FDT-based design.

Informacije o knjizi

Puni naziv Formal Techniques for Networked and Distributed Systems - FORTE 2003
Autor Hartmut König, Monika Heiner, Adam Wolisz
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2003
Broj stranica 429
EAN 9783540201755
ISBN 3540201750
Libristo kod 01558642
Nakladnici Springer, Berlin
Težina 626
Dimenzije 155 x 235 x 23

Kategorija

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer hardware > Network hardware
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
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

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