Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

International Symposium on Programming

Name: International Symposium on Programming
Brand: Springer, Berlin
SKU: 01558000
Price: 51.24 EUR
Availability: InStock
Author: M. Paul
ISBN: 9783540129257

Toulouse, April 17-19, 1984. Proceedings

M. Paul

B. Robinet

Language

English

Book Paperback

Libristo code: 01558000

Publishers Springer, Berlin

Un modele de description de protocoles : Les reseaux fermes d'automates triphases.- Une expression d... Full description

Libristo code: 01558000

125 b

51.24 €

100.22 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Opération True Love - Tome 6 Kkokkalee

Paperback

16.48 € 32.23 лв

Málaga de cerca 2 Margot Molina

Paperback

16.38 € 32.03 лв

Weźmy się za ręce! Disney Kubuś i Przyjaciele Szymanek Basia

Paperback

8.31 € 16.26 лв

Medidas de Auto-satisfaç?o Agrária na Venezuela Daniel Ernesto Graterol Torres

Paperback

53.91 € 105.44 лв

Les genres textuels en langues etrangeres : entre theorie et pratique Jacquin Marianne Jacquin

Adobe ePub DRM

61.51 € 120.31 лв

Horoskopdeutung für den Vater Sina Nuêmo

Paperback

18.74 € 36.65 лв

Grazer Wut Robert Preis

Adobe ePub DRM

11.55 € 22.59 лв

Die kleine Fee Lavendula - Willkommen in der Zauberpraxis Katharina E. Volk

Hardback

13.45 € 26.30 лв

Chirurgia dell'apparato digerente nei vitelli Engin Kilic

Paperback

21.31 € 41.67 лв

(22).lecciones de contrato de trabajo

Paperback

44.46 € 86.96 лв

Disney Güzel Cirkin Seti 2 Kitap Takim

Paperback

17.04 € 33.33 лв

Umweltstandards in der Welthandelsordnung Patrick Avato

Paperback

17.92 € 35.04 лв

Převtělený mstitel Craig Russell

Hardback

13.19 € 25.80 лв

Pro nejmenší - Chlapečci neuvedený autor

Paperback

2.82 € 5.51 лв

Globální oteplování Země Jaroslav Kadrnožka

Hardback

27.26 € 53.32 лв

Physik an Stationen Hardy Seifert

Sheet

27.88 € 54.52 лв

Der Frauenjäger Petra Hammesfahr

Paperback

9.60 € 18.77 лв

Das Politische System Der Niederlande Markus Wilp

Paperback

29.78 € 58.24 лв

John F. Kennedy Robert Dallek

Hardback

20.12 € 39.36 лв

Merkmal der sexuellen Orientierung in der Arbeitswelt Nadine Döbler

Paperback

40.31 € 78.83 лв

Lithium-Foerderung in Bolivien vor dem Hintergrund der Eigenschaften naturlicher Ressourcen Patricia Kracht

Paperback

44.98 € 87.97 лв

Des Lebens Lust Peter Nansen

Paperback

9.49 € 18.57 лв

Koreanisch-Deutsches Wörterbuch Minjungseorim

Hardback

66.34 € 129.75 лв

Der Staatsanwalt hat das Wort, 4 DVDs Renate Földesi

DVD

22.95 € 44.88 лв

Un modele de description de protocoles : Les reseaux fermes d'automates triphases.- Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees.- Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus.- Le type abstrait "vecteur" et les methodes de programmation des ordinateurs vectoriels.- Some topics in the design of the specification language lotos.- Specification and verification of networks protocols using temporal logic.- Une implémentation des coroutines en Lisp, application à Smalltalk.- Vesta Vectorisation automatique et parametree de programmes.- L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma.- Projet Vesta.- The program dependence graph and its use in optimization.- Implementations of nondeterministic programs.- For statements with restricted enumerations.- A method for developing concurrent systems.- An optimal-time recursive evaluator for attribute grammars.- On the Merlin-Randell problem of train journeys.- Un systeme d'aide a la preuve de compilateurs.- Optimized combinatoric code for applicative language implementation.- Polymorphic type schemes and recursive definitions.- Non-sequential behaviour.- Proving properties of Snobol4 patterns: Selecting the assertion format.- Polynomial-time analysis for a class of communicating processes.