Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 10.49 € Elta-Stelle 4.49 € Elta 4.99 € ACS 5.49 € Box Now 4.49 € ACS-Stelle 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

International Symposium on Programming

Name: International Symposium on Programming
Brand: Springer, Berlin
SKU: 05273547
Price: 48.6 EUR
Availability: InStock
Author: B. Robinet
ISBN: 9783540099819

Proceedings of the Fourth 'Colloque International sur la Programmation' Paris, 22-24 April 1980

B. Robinet

Sprache

Englisch

Buch Broschur

Libristo-Code: 05273547

Verlag Springer, Berlin

Static type checking for languages with parametric types and polymorphic procedures.- Concrete contr... Vollständige Beschreibung

Libristo-Code: 05273547

118 b

48.60 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Inszenierte Heiligkeit; Soziale Funktion und symbolische Kommunikation von lebenden Heiligen im hohen Mittelalter Andreas Rentz

Hardcover

104.45 €

Sinfonie Nr.9, 1 Audio-CD Anton Bruckner

Audio CD

24.04 €

Le Pr, aux Clercs Munger/Spyres/McCreesh/Coro e Orquestra Gulbenkian

Audio CD

44.47 €

Wielkanocne zabawy. Samochodzik Franek Karolina Górska

Broschur

2.41 €

Neanderthal, l'altra umanità. Storie e luoghi in Italia e non solo Franco Capone

Broschur

20.92 €

W imię Ojca Łukasz Wachowski

Broschur

11.16 €

Kulturbilder aus den Vereinigten Staaten G. Diercks

Broschur

35.11 €

Neueren Chemotherapeutischen Praparate Aus Der Chininreihe (Optochin, Im Besonderen Eukupin Und Vuzin) Und Aus Der Akridinreihe (Trypaflavin, Rivanol) Ernst Laqueur

Broschur

52.82 €

Gra Magajaja dinosaurs 02281

binding.

28.17 €

Ligas de Zirconio Aplicadas em Reatores Nucleares Armando Cirilo de Souza

Broschur

41.65 €

Nutriç?o Parenteral Total Girish Degavi

Broschur

51.72 €

Le centre d'information et d'orientation (CIO) : une structure "à la marge" de l'éducation nationale Desclaux

Broschur

37.73 €

Chemie der seltenen Erden Jacob Herzfeld

Broschur

43.47 €

canto di Messalina Antonella Prenner

Broschur

26.86 €

Dziewczyna i uczony. Historia dwóch Rembrandtów z kolekcji Karoliny Lanckorońskiej Gerdien Verschoor

Broschur

9.45 €

Mimi & Líza Záhrada Katarína Kerekesová

Hardcover

14.98 €

Surfing Heimann Jim

Broschur

10.15 €

Fausts Leben, Taten und Hoellenfahrt Friedrich Maximilian Klinger

Hardcover

17.80 €

Projet de Barrage Grand Inga Ndiadia Kabongo

Broschur

18.91 €

Cuerpo Especialista en Educación Infantil de la Administración de la Generalitat Valenciana. Temario 7

Broschur

46.69 €

Simulation Num rique d'Un Multijet Tourbillonnaire Mohamed Roudane

Broschur

30.89 €

Sämtliche Werke für Klavier zu vier Händen Ludwig van Beethoven

Broschur

17.40 €

L'Immaculee Conception: Courte Histoire d'Un Dogme Le Bachelet-X-M

Broschur

17.80 €

L'Immortel Alphonse Daudet

Broschur

12.57 €

Static type checking for languages with parametric types and polymorphic procedures.- Concrete control phases in languages for programming complex systems.- Types algebriques et semantique des langages de programmation.- Towards a theory of abstract data types: A discussion on problems and tools.- On relations between programs.- A communication data type for message oriented programming.- Processus non-sequentiels et leurs observations en univers non-centralise.- A case study of abstract implementations and their correctness.- About program termination and simplification.- A relational model for non-deterministic programs and predicate transformers.- Structures de controle et puissances d'expression.- Conception et optimisation des descentes recursives.- An algebraic structure of petri nets.- An algorithm for translating LISP programs into reduction language programs.- Concurrent operations in large ordered indexes.- Specification of highly parallel and distributed resource management.- Semantics for lisp without reference to an interpreter.- Parallelism in ADA: Program design and meaning.- The theory and practice of transforming call-by-need into call-by-value.- A model-theoretic approach to specification, extension, and implementation.- Échappements et continuations en semantique dénotationnelle.- Suggestions for composing and specifying program design decisions.- Making programs more readable.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name International Symposium on Programming

Autor B. Robinet

Sprache

Englisch

Einband Buch - Broschur

Anzahl der Seiten 350

EAN 9783540099819

ISBN 3540099816

Libristo-Code 05273547

Verlag Springer, Berlin

Gewicht 594

Abmessungen 170 x 250 x 18

Kategorie

Kinder, Jugendliche und Bildung > Unterrichtsmaterial > Schule und Lernen: Mathematik, Naturwissenschaften, Technik allgemein > Schule und Lernen: Naturwissenschaften, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Betriebssysteme

EDV und Informationstechnologie > Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert