Deutsch
Deutschland
Anmelden
Tipp von eurobuch.de
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783540741060 ankaufen:
Suchtools
Buchtipps
Aktuelles
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 190,30 €, größter Preis: 219,99 €, Mittelwert: 211,78 €
Logics of Specification Languages - Dines Bjorner
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Dines Bjorner:
Logics of Specification Languages - neues Buch

1, ISBN: 9783540741060

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the proof system. This book presents comprehensive studies on nine specification languages and their logics of reasoning.The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: the use of ASM (Abstract State Machines) in the classroom the Event-B modelling method a methodological guide to CafeOBJ logic CASL, the Common Algebraic Specification Language the Duration Calculus the logic of the RAISE specification language (RSL) the specification language TLA+ the typed logic of partial functions and the Vienna Development Method (VDM) and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. With extensive references and pointers to future developments, this book will be of interest to researchers and graduate students engaged with formal specification languages., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 241x167x37 mm, 624, [GW: 1230g], offene Rechnung (Vorkasse vorbehalten), sofortueberweisung.de, Selbstabholung und Barzahlung, Skrill/Moneybookers, PayPal, Lastschrift, Banküberweisung, Internationaler Versand

Neues Buch Booklooker.de
Buchhandlung Hoffmann
Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Logics of Specification Languages - Dines Bjorner
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Dines Bjorner:
Logics of Specification Languages - neues Buch

1, ISBN: 9783540741060

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the proof system. This book presents comprehensive studies on nine specification languages and their logics of reasoning.The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: the use of ASM (Abstract State Machines) in the classroom the Event-B modelling method a methodological guide to CafeOBJ logic CASL, the Common Algebraic Specification Language the Duration Calculus the logic of the RAISE specification language (RSL) the specification language TLA+ the typed logic of partial functions and the Vienna Development Method (VDM) and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. With extensive references and pointers to future developments, this book will be of interest to researchers and graduate students engaged with formal specification languages., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 241x167x37 mm, 624, [GW: 1230g], offene Rechnung (Vorkasse vorbehalten), PayPal, Kreditkarte, Banküberweisung, Internationaler Versand

Neues Buch Booklooker.de
Buchhandlung - Bides GbR
Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Logics of Specification Languages - Dines Bjorner
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Dines Bjorner:
Logics of Specification Languages - neues Buch

1, ISBN: 9783540741060

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the proof system. This book presents comprehensive studies on nine specification languages and their logics of reasoning.The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: the use of ASM (Abstract State Machines) in the classroom the Event-B modelling method a methodological guide to CafeOBJ logic CASL, the Common Algebraic Specification Language the Duration Calculus the logic of the RAISE specification language (RSL) the specification language TLA+ the typed logic of partial functions and the Vienna Development Method (VDM) and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. With extensive references and pointers to future developments, this book will be of interest to researchers and graduate students engaged with formal specification languages. -, DE, [SC: 0.00], Neuware, gewerbliches Angebot, 241x167x37 mm, 624, [GW: 1230g], offene Rechnung (Vorkasse vorbehalten), PayPal, Banküberweisung, Internationaler Versand

Neues Buch Booklooker.de
Rhein-Team Lörrach
Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series) - Dines Bjorner, Martin C. Henson
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Dines Bjorner, Martin C. Henson:
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series) - gebunden oder broschiert

2008, ISBN: 3540741062

[SR: 584157], Gebundene Ausgabe, [EAN: 9783540741060], Springer, Springer, Book, [PU: Springer], Springer, Logics of Specification Languages 2008 Presents comprehensive studies on nine specification languages and their logics of reasoning. This book features short commentaries on the specification languages written by researchers associated with their original development. It contains references and pointers to developments. Full description, 63252011, Softwareentwicklung, 63248011, Software-Design & Entwicklung, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher

Neues Buch Amazon.de (Intern...
averdo24
, Neuware Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Logics of Specification Languages - Dines Bjorner
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Dines Bjorner:
Logics of Specification Languages - neues Buch

ISBN: 9783540741060

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the proof system. This book presents comprehensive studies on nine specification languages and their logics of reasoning. -, [SC: 0.00], Neuware, gewerbliches Angebot, 241x167x37 mm, [GW: 1230g]

Neues Buch Booklooker.de
Sparbuchladen
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Logics of Specification Languages

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.

Detailangaben zum Buch - Logics of Specification Languages


EAN (ISBN-13): 9783540741060
ISBN (ISBN-10): 3540741062
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Springer-Verlag GmbH
624 Seiten
Gewicht: 1,230 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 27.01.2008 20:09:58
Buch zuletzt gefunden am 25.10.2017 17:37:38
ISBN/EAN: 9783540741060

ISBN - alternative Schreibweisen:
3-540-74106-2, 978-3-540-74106-0


< zum Archiv...
Benachbarte Bücher