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 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Unifying Theories of Programming

Name: Unifying Theories of Programming
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656901
Price: 60.49 EUR
Availability: InStock
Author: Shengchao Qin
ISBN: 9783642166891

Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings

Shengchao Qin

Sprache

Englisch

Buch Broschur

Libristo-Code: 01656901

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2010

This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theo... Vollständige Beschreibung

Libristo-Code: 01656901

148 b

60.49 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Les maths en tête. Algèbre et probabilités Gourdon

Broschur

41.49 €

Das Blut der Herzlosen - Die Legende vom Tränenvogel 1 Hyuk-Sook Kim

Hardcover

22.00 €

Le ombre di Genova. Il ritorno del commissario Ferruccio Falsopepe Paternostro

MP3

11.79 €

Homo cerebralis Michael Hagner

Broschur

24.79 €

Digital Transformation. Eine Fallstudie zur digitalen Innovation und Transformation bei Lego

Broschur

17.95 €

Wortklauberei Wolfram Kautzky

Adobe ePub DRM

17.19 €

HENRI DUTILLEUX - TROIS PRELUDES POUR PIANO DUTILLEUX Buch

binding.

44.29 €

Mi diario de yoga (edición revisada y actualizada) XUAN-LAN

Broschur

20.09 €

Die Bronzezeit: Das Goldene Zeitalter Der Urgeschichte Ernst Probst

Broschur

10.99 €

Érase una mujer que quería matar al bebé de su vecina Ludmilla Petruchevskaya

Broschur

25.69 €

Terapia de los ángeles : manual práctico Doreen Virtue

Broschur

15.99 €

Ironie Affumicate Francesco Pira

Broschur

8.89 €

Gesetzeskraft Jacques Derrida

Broschur

12.00 €

David Lynch. Lost Highway, Mulholland Drive und Inland Empire Katharina Schwarz

Broschur

17.95 €

Basiswissen Schuldrecht BT - 2022 Volker Schönberger

Broschur

7.90 €

Individuelle Förderung: Lernschwierigkeiten als schulische Herausforderung Christian Fischer

Broschur

21.49 €

Markenpersoenlichkeit und Erfolg einer Marke Isabel Speranza

Broschur

17.95 €

This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in Shanghai, China, in November 2010, in conjunction with the 12th International Conference on Formal Engineering Methods, ICFEM 2010.§The 12 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 25 submissions. Based on the pioneering work on unifying theories of programming of Tony Hoare, He Jifeng, and others, the aims of this Symposium series are to continue to reaffirm the significance of the ongoing UTP project, to encourage efforts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the benefits of such a unifying theoretical framework among the wider computer science and software engineering communities.

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 Unifying Theories of Programming

Autor Shengchao Qin

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 310

EAN 9783642166891

ISBN 364216689X

Libristo-Code 01656901

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 496

Abmessungen 155 x 238 x 20

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

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