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

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Software Engineering 2

Name: Software Engineering 2
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559128
Price: 50.63 EUR
Availability: InStock
Author: D. Björner
ISBN: 9783540211501

Specification of Systems and Languages

D. Björner

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01559128

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Mai 2005

The art, craft, discipline, logic, practice and science of developing large-scale software products... Vollständige Beschreibung

Libristo-Code: 01559128

122 b

50.63 €

Externes Lager Wir versenden in 10-13 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Astrologie : au-delà de la rencontre Fanchon Pradalier-Roy

Broschur

21.06 €

Karlchen freut sich auf Weihnachten Rotraut S. Berner

Leporello

7.79 €

TAP N 369 OPEL FRONTERA ESSENCE/DIESEL JUSQU'A 2003 ETAI Buch

Broschur

51.24 €

Akasha-Chronik-Orakel Wulfing von Rohr

Spiel

17.21 €

Marimekko: 50 Postkarten Marimekko

Broschur

15.18 €

The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches.This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages.This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text.

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 Software Engineering 2

Autor D. Björner

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2005

Anzahl der Seiten 780

EAN 9783540211501

ISBN 3540211500

Libristo-Code 01559128

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

Gewicht 1370

Abmessungen 155 x 235 x 47

Kategorie

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

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 > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

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