Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.

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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.

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

Formal Methods for Open Object-Based Distributed Systems IV

Name: Formal Methods for Open Object-Based Distributed Systems IV
Brand: Springer, Berlin
SKU: 01397318
Price: 216.41 EUR
Availability: InStock
Author: Scott F. Smith
ISBN: 9780792379232

IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA

Scott F. Smith

Carolyn L. Talcott

Jezik

Engleski

Knjiga Tvrdi uvez

Libristo kod: 01397318

Nakladnici Springer, Berlin, studeni 1999

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields... Cijeli opis

Libristo kod: 01397318

523 b

216.41 €

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

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Vatikán a české země v letech 1914-1918 Marek Šmíd

List

13.45 €

¡SUEÑA!

Tvrdi uvez

20.43 €

Modely lásky Barry Vissell

Tvrdi uvez

6.47 €

Burg Dublin Irland - 1.000 Teile (Puzzle)

Igra

29.84 €

Silence Scorcese

Meki uvez

11.93 €

Faraonova šperkovnice Christa Holteiová

Meki uvez

6.67 €

Preži túto noc Riley Sager

Tvrdi uvez

15.07 €

Hat der Entbindungsort einen Einfluss auf die Sterblichkeit von Neugeborenen Justice Ajaari

Meki uvez

48.96 €

Brillo en la tierra del cangaço

Meki uvez

57.86 €

Egon Schiele ? Adrian Ghenie. Schattenbilder Adrian Ciprian Barsan

Tvrdi uvez

49.87 €

Божественная комедия. В трёх томах Данте Алигьери

Tvrdi uvez

55.33 €

Moje první knížka o mořích a oceánech Jane Newland

Leporelo

6.16 €

Mehr als Worte singt ein Lied Wilfried Koch

Meki uvez

24.17 €

Autodesk Inventor 2015 - Aufbaukurs Konstruktion Christian Schlieder

Meki uvez

17.09 €

UN AIR DE MÉTRO Sophie Bureau

Meki uvez

13.55 €

Güter und Ungüter. Hans G. Fuchs

Tvrdi uvez

55.84 €

Europa der Regionen. Joachim Bauer

Meki uvez

50.88 €

Deutsche Gedichte des zwoelften Jahrhunderts Kraus Carl von Kraus

Meki uvez

20.53 €

Kinder und Fernsehen unter dem Aspekt von Gewaltwahrnehmung und Angstbewaltigung Eva Oestreich

Meki uvez

16.18 €

A la caza de la realidad Mario Augusto Bunge

Meki uvez

48.25 €

Wissensentwicklungskompetenz im Business-to-Business-Bereich Ilka Griese

Meki uvez

67.48 €

Ilkögretim Ögrencilerinin Kavram Yanilgilari Serdar Baran

Meki uvez

44.51 €

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. §Papers in this volume focus on the following specific technologies: components; mobile code; Java®; The Unified Modeling Language (UML); refinement of specifications; types and subtyping; temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.