Tool Support for System Specification, Development and Verification
Rudolf Berghammer, Yassine Lakhnech
Häftad, 1999
739 kr
Ordnungen und Verbände
Grundlagen, Vorgehensweisen und Anwendungen
Häftad, Tyska, 2014
629 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Das Lehrbuch stellt eine grundlegende Einführung in die mathematische Theorie der geordneten Mengen und Verbände dar. Neben wichtigen Begriffen werden allgemeine Vorgehensweisen und Beweistechniken demonstriert, die für dieses Gebiet typisch sind. Auch werden eine Reihe von Anwendungen diskutiert, insbesondere aus der Informatik, wie logische Schaltungen, Semantik von Programmiersprachen und die Untersuchung von Kausalität in verteilten Systemen.
Produktinformation
- Utgivningsdatum2014-01-20
- Mått168 x 240 x 14 mm
- Vikt423 g
- FormatHäftad
- SpråkTyska
- Antal sidor238
- Upplaga2013
- FörlagSpringer Fachmedien Wiesbaden
- ISBN9783658027100
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Relations and Kleene Algebra in Computer Science
Rudolf Berghammer, Rudolf Berghammer, Bernhard Möller, Georg Struth
Häftad, 2008
739 kr
Relations and Kleene Algebra in Computer Science
Rudolf Berghammer, Ali Jaoua, Bernhard Möller
Häftad, 2009
729 kr
Hoppa över listan
Du kanske också är intresserad av
Tool Support for System Specification, Development and Verification
Rudolf Berghammer, Yassine Lakhnech
Häftad, 1999
739 kr
Relations and Kleene Algebra in Computer Science
Rudolf Berghammer, Ali Jaoua, Bernhard Möller
Häftad, 2009
729 kr
Relations and Kleene Algebra in Computer Science
Rudolf Berghammer, Rudolf Berghammer, Bernhard Möller, Georg Struth
Häftad, 2008
739 kr
- Nyhet
Del 3
- Nyhet
Del 11
- Nyhet
Domino : Dåren, domaren och den välkammade mannen från pirayaministeriet
Håkan Nesser
Inbunden, 2026
289 kr329 kr