ISBN: 9783540331933
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, eng… Mehr…
Orellfuessli.ch Nr. A1031540002. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 17.65) Details... |
2007, ISBN: 9783540331933
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, eng… Mehr…
Thalia.de Nr. 32496600. Versandkosten:, Sofort per Download lieferbar, DE. (EUR 0.00) Details... |
2007, ISBN: 9783540331933
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, eng… Mehr…
Orellfuessli.ch Nr. 32496600. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 16.62) Details... |
ISBN: 9783540331933
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, eng… Mehr…
Springer.com Nr. 978-3-540-33193-3. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
2007, ISBN: 9783540331933
Specification of Systems and Languages, eBooks, eBook Download (PDF), Auflage, [PU: Springer Berlin Heidelberg], [ED: 1], Springer Berlin Heidelberg, 2007
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
ISBN: 9783540331933
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, eng… Mehr…
2007, ISBN: 9783540331933
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, eng… Mehr…
2007
ISBN: 9783540331933
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, eng… Mehr…
ISBN: 9783540331933
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, eng… Mehr…
2007, ISBN: 9783540331933
Specification of Systems and Languages, eBooks, eBook Download (PDF), Auflage, [PU: Springer Berlin Heidelberg], [ED: 1], Springer Berlin Heidelberg, 2007
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Software Engineering 2
EAN (ISBN-13): 9783540331933
Erscheinungsjahr: 2007
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2007-04-30T19:52:30+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-11-01T10:56:24+01:00 (Berlin)
ISBN/EAN: 9783540331933
ISBN - alternative Schreibweisen:
978-3-540-33193-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: dine, dines
Daten vom Verlag:
Autor/in: Dines Bjørner
Titel: Texts in Theoretical Computer Science. An EATCS Series; Software Engineering 2 - Specification of Systems and Languages
Verlag: Springer; Springer Berlin
780 Seiten
Erscheinungsjahr: 2007-08-01
Berlin; Heidelberg; DE
Sprache: Englisch
55,00 € (DE)
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Unified Modeling Language (UML); compiler; logic; modeling; petri net; programming; programming language; semantics; software engineering; B; Theory of Computation; Software Engineering; Compilers and Interpreters; Programming Techniques; Computer Science Logic and Foundations of Programming; Computer Science; Software Engineering; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; BB
Opening.- Specification Facets.- Hierarchies and Compositions.- Denotations and Computations.- Configurations: Contexts and States.- A Crucial Domain and Computing Facet.- Time, Space and Space/Time.- Linguistics.- Pragmatics.- Semantics.- Syntax.- Semiotics.- Further Specification Techniques.- Modularisation.- Automata and Machines.- Concurrency and Temporality.- Petri Nets.- Message and Live Sequence Charts.- Statecharts.- Quantitative Models of Time.- Interpreter and Compiler Definitions.- SAL: Simple Applicative Language.- SIL: Simple Imperative Language.- SMIL: Simple Modular, Imperative Language.- SPIL: Simple Parallel, Imperative Language.- Closing.- Closing.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9788181287854 Software Engineering Vol. 2: Specification of Systems and Languages (Bjørner)
- 9788181287854 Software Engineering Vol. 2: Specification of Systems and Languages (Bjørner)
- 9783642059407 Software Engineering 2: Specification of Systems and Languages (Dines Bjørner)
- 9783540211501 Software Engineering 2: Specification of Systems and Languages: v. 2 (Texts in Theoretical Computer Science: An EATCS Series) (Dines Bjorner)
< zum Archiv...