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 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Semantics of Specification Languages (SoSL)

Name: Semantics of Specification Languages (SoSL)
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02172588
Price: 51.78 EUR
Availability: InStock
Author: Derek J. Andrews
ISBN: 9783540198543

Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 - 27 October 1993

Derek J. Andrews

Jan F. Groote

C.A. Middelburg

Sprache

Englisch

Buch Broschur

Libristo-Code: 02172588

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, März 1994

This volume is based on the proceedings of the International Workshop on Semantics of Specification... Vollständige Beschreibung

Libristo-Code: 02172588

125 b

51.78 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Retail Banking Im Informationszeitalter Susanne Leist

Broschur

61.41 €

Concours CPE - Conseiller principal d'éducation - 6e éd. Bruno Garnier

Broschur

32.22 €

PASE DE SOFTWARE EN LÍNEA Cassiano Vasques Frota Guterres

Broschur

39.31 €

Paleo kuchařka pro zdravý mikrobiom Alison Marrasová

Broschur

8.10 €

TOPR 2. Nie każdy wróci wyd. 2025 Beata Sabała-Zielińska

Hardcover

11.34 €

Christmas from St. John's St. John's School Choir Audio

Audio CD

6.88 €

Kaiser, Lábus a Rodinka Tlučhořových Jan Czech

binding.

7.19 €

Fantastische Wolven Thiago Soares

Broschur

20.97 €

Guide des meilleures astuces Mac OS X Pierre Brandeis

Broschur

19.35 €

L'Art de ne pas être grand-mère Agathe Natanson

Broschur

20.16 €

100 momentos-clave en la historia de la Iglesia Miguel Ángel Navarro Mederos

Broschur

27.86 €

M Rtel Fur Die Freimaurer Alban Stolz

Broschur

17.93 €

Trobairitz Angelica Rieger

Hardcover

238.56 €

Der Einfluss Des Kundenverhaltens Auf Die Kundenzufriedenheit Marei Bednarek

Broschur

62.72 €

Nejen o zvěři a lovech Jan Novák

Hardcover

6.88 €

Escultura y teoría de las artes BELDA NAVARRO

Broschur

25.43 €

Varsovia y Cracovia Bastart Cassè

Broschur

10.33 €

Jésus Le Guillou

Hardcover

17.73 €

Ava Gardner, la diosa descalza Joan Carles Prats Riu

Broschur

54.21 €

Staedtebauliche Vertraege nach 11 BauGB unter besonderer Beruecksichtigung der Angemessenheit ( 11 Absatz 2 Satz 1 BauGB) Ulrike Lahnor

Broschur

74.38 €

Memorial Parisien, Ou Paris Tel Qu'il Fut, Tel Qu'il Est DUFEY-P-J-S

Broschur

27.45 €

Capitalismo Dan Cryan

Broschur

16.71 €

Religionsunterricht an berufsbildenden Schulen Hans-Henning Averbeck

Hardcover

44.99 €

Alukäppchen und der böse Avocadolf Norbert Golluch

Broschur

12.86 €

This volume is based on the proceedings of the International Workshop on Semantics of Specification Languages (SoSL), held in Utrecht, the Netherlands, 25-27 October 1993. The aim of the workshop - the first in a proposed series - was to assess various attempts to formally define specification languages, and to identify a programme of work for further investigation. There are currently no other workshops or conferences covering this area. The papers provide a comprehensive overview of research into this important topic, with particular emphasis on recent developments in formal proof systems, proof checking, type consistency, static semantics, and stepwise developments of specifications. In addition to the submitted papers the volume includes three invited papers, each of which outlines the development of the semantics of a major specification language.

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 Semantics of Specification Languages (SoSL)

Autor Derek J. Andrews, Jan F. Groote, C.A. Middelburg

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1994

Anzahl der Seiten 357

EAN 9783540198543

ISBN 3540198547

Libristo-Code 02172588

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

Gewicht 630

Abmessungen 155 x 235 x 22

Kategorie

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

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

Das könnte Sie auch interessieren

Constitutional Protection and Regulation of Property and its Influence on the Reform of Private Law and Landownership in South Africa and Germany Hanri Mostert

Broschur

82.59 €