X
Aby zapewnić najwyższy komfort użytkowania wykorzystujemy informacje przechowywane w przeglądarce internetowej. Sprawdź Politykę Prywatności.
Korzystając ze strony wyrażasz zgodę na używanie plików cookies, zgodnie z aktualnymi ustawieniami przeglądarki.
Wartość:
Twój koszyk: Produktów (0)

Książka Tygodnia

Rafał A. Ziemkiewicz - Złowrogi cień Marszałka
-31%
+ do schowka
44.90 zł
31.21 zł
Dodaj do koszyka
Rabat: 13.69 zł
Cena katalogowa: 44.90 zł
Dostępność: do 48h
KSIĄŻKA
Rafał A. Ziemkiewicz
Wydawca: Fabryka Słów
Rok wydania: 2017
Miejsce wydania: 1058
Stron: 448
 
Dołącz do nas na Facebboku
Nasz newsletter


Szczególnie polecamy




Tu byłem Tony Halik

Tu byłem. Tony Halik
Mirosław Wlekły
Warszawa 2017


Food pharmacy

Food Pharmacy
Lina Nertby Aurell, Mia Clase
Kraków 2017


Magia olewania

Magia olewania
Sara Knight
 
Warszawa 2017


Milczenie

Milczenie
Endo Shusaku
 
Kraków 2017


Wagiel

Wagiel. Jeszcze wszystko będzie możliwe
Wojciech Waglewski
 
Kraków 2017


Pani Einstein

Pani Einstein
Marie Benedict
 
Kraków 2017


Od oddechu do oddechu

Od oddechu do oddechu
Wojciech Młynarski
  Warszawa 2017

Dobranoc Auschwitz

Dobranoc Auschwitz
Aleksandra Wójcik
Maciej Zdziarski
Kraków 2017

Pokaz

357.10 zł

Rabat: 18.80 zł
Cena katalogowa: 375.90 zł
Produkt niedostępny

Poleć znajomym

KSIĄŻKA

Formal Techniques for Networked & Distributed Systems

D Frutos-Escrig
Wydawca: Springer Verlag
Rok wydania: 2004
Stron: 392
ISBN: 9783540232520

Opis:

This volume contains the proceedings of the 24th IFIP TC 6/WG 6.1 Inter- tionalConference onFormalTechniquesfor Networkedand Distributed Systems (FORTE 2004),held in Madrid, Spain, September 27-30,2004.FORTE denotes a series of international working conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Three years ago the conference name was changed to its current form. The last ?ve meetings of this well-established conference series were held in Beijing, China (1999), Pisa, Italy (2000), Cheju Island, Korea (2001), Houston, USA (2002), and Berlin, Germany (2003). The scope of the papers presented at FORTE 2004 covered semantic models and application of formal description languages (in particular, automata and Petri Nets), as well as the veri?cation and testing of communication and d- tributedsystems.Theconferencewasprecededby2half-daytutorialsbyRoberto GorrieriandFarnWang.Theproceedingscontainthe20regularpapersaccepted and presented at the conference. They were selected from 54 submitted papers inacarefulselectionprocedurebasedontheassessmentofthreerefereesforeach paper. The proceedings also include the papers contributed by the three invited speakers: Mart` ?n Abadi, Tommaso Bolognesi, and Juan Quemada.

Klienci, którzy kupili Formal Techniques for Networked & … wybrali również:

Maciąg Agnieszka - Smak świąt
-21%
+ do schowka
KSIĄŻKA
Maciąg Agnieszka
Wydawca: Otwarte
Rok wydania: 2016
Miejsce wydania: 8
Stron: 352
49.90 zł
39.42 zł
Dodaj do koszyka
Agnieszka Maciąg - Smak miłości
-30%
+ do schowka
KSIĄŻKA
Agnieszka Maciąg
Wydawca: Otwarte
Rok wydania: 2014
Miejsce wydania: 8
Stron: 320
49.90 zł
34.98 zł
Dodaj do koszyka
Michał Rusinek - Nic zwyczajnego. O Wisławie Szymborskiej
-34%
+ do schowka
KSIĄŻKA
Michał Rusinek
Wydawca: ZNAK
Rok wydania: 2016
Miejsce wydania: 8
Stron: 320
39.90 zł
26.53 zł
Dodaj do koszyka
Luca Dotti - Audrey w domu. Wspomnienia o mojej mamie
-32%
+ do schowka
KSIĄŻKA
Luca Dotti
Wydawca: Literackie
Rok wydania: 2016
Miejsce wydania: 8
Stron: 204
44.90 zł
30.76 zł
Dodaj do koszyka
 
1
|
2
|
3
 

Recenzje i oceny

Brak recenzji!

Dodaj swoją recenzję i ocenę

Twoja ocena:

Twój podpis:
Dodaj recenzję


Znajdujesz się w dziale Książki
Aktualnie oglądasz produkt Formal Techniques for Networked & Distributed Systems - D Frutos-Escrig
W każdej chwili moźesz przejść do innych produktów z kategorii Zagraniczne
Zawsze możesz przejrzeć dział Nowości lub zobaczyć, co wkrótce ukaże się w naszej księgarni internetowej, czyli przejść do działu Zapowiedzi
tel/fax +81 537 65 10