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

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

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

CONCUR 2012- Concurrency Theory

Name: CONCUR 2012- Concurrency Theory
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662005
Price: 51.49 EUR
Availability: InStock
Author: Maciej Koutny
ISBN: 9783642329395

23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings

Maciej Koutny

Irek Ulidowski

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 01662005

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

This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Co... Cijeli opis

Libristo kod: 01662005

125 b

51.49 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Le migliori barzellette per ragazzi Gino Bramieri

Meki uvez

13.39 €

Życie codzienne nauczycieli w II RP Gołdyn Piotr

Tvrdi uvez

14.70 €

Au bord de la mer violette Jaubert

Meki uvez

22.77 €

Bir Kahve Icebilir miyiz Mehmet Ali catal

Meki uvez

8.15 €

Auswirkung von MbO auf das Betriebsklima Paul Salchner

Meki uvez

47.16 €

This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in topics such as reachability analysis; qualitative and timed systems; behavioural equivalences; temporal logics; session types; abstraction; mobility and space in process algebras; stochastic systems; probabilistic systems; Petri nets and non-sequential semantics; verification; decidability.