- 5 Ergebnisse
Kleinster Preis: € 34,82, größter Preis: € 90,52, Mittelwert: € 52,35
1
Design of Formal Methods Approach to Resolve Disputes - Nabil Mohamed, Samer
Bestellen
bei amazon.co.uk
£ 30,00
(ca. € 34,82)
Versand: € 5,201
Bestellengesponserter Link
Nabil Mohamed, Samer:

Design of Formal Methods Approach to Resolve Disputes - Taschenbuch

2014, ISBN: 9783659534164

LAP LAMBERT Academic Publishing, Paperback, 148 Seiten, Publiziert: 2014-04-30T00:00:01Z, Produktgruppe: Book, 0.23 kg, Computing & Internet, Subjects, Books, LAP LAMBERT Academic Publish… Mehr…

Versandkosten:In stock. Lieferung von Amazon. (EUR 5.20) Amazon.co.uk
2
Bestellen
bei alibris.co.uk
€ 90,52
Bestellengesponserter Link

Nabil Mohamed, Samer:

Design of Formal Methods Approach to Resolve Disputes - Taschenbuch

2014, ISBN: 9783659534164

paperback, Access codes and supplements are not guaranteed with used items. May be an ex-library book., Gebraucht, guter Zustand, [PU: LAP LAMBERT Academic Publishin]

Versandkosten:zzgl. Versandkosten Newport Coast, CA, Tustin
3
Bestellen
bei AbeBooks.de
€ 40,59
Versand: € 1,731
Bestellengesponserter Link
Nabil Mohamed Samer:
Design of Formal Methods Approach to Resolve Disputes - Taschenbuch

2014

ISBN: 3659534161

[EAN: 9783659534164], Neubuch, [PU: LAP Lambert Academic Publishing], PRINT ON DEMAND Book; New; Fast Shipping from the UK., Books

NEW BOOK. Versandkosten: EUR 1.73 Ria Christie Collections, Uxbridge, United Kingdom [59718070] [Rating: 5 (von 5)]
4
Bestellen
bei alibris.co.uk
€ 45,20
Bestellengesponserter Link
Nabil Mohamed Samer:
Design of Formal Methods Approach to Resolve Disputes - Taschenbuch

2014, ISBN: 9783659534164

Trade paperback, New., Trade paperback (US). Glued binding. 148 p., [PU: LAP Lambert Academic Publishing]

Versandkosten:zzgl. Versandkosten Uxbridge, MIDDLESEX, Ria Christie Books
5
Design of Formal Methods Approach to Resolve Disputes [Soft Cover ] - Nabil Mohamed, Samer
Bestellen
bei AbeBooks.de
€ 50,62
Versand: € 8,141
Bestellengesponserter Link
Nabil Mohamed, Samer:
Design of Formal Methods Approach to Resolve Disputes [Soft Cover ] - Taschenbuch

2014, ISBN: 3659534161

[EAN: 9783659534164], Neubuch, [PU: LAP LAMBERT Academic Publishing], Books

NEW BOOK. Versandkosten: EUR 8.14 booksXpress, Freehold, NJ, U.S.A. [71410708] [Rating: 4 (von 5)]

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Design of Formal Methods Approach to Resolve Disputes

A Framework for Intelligent Situation Analysis, FISA, is proposed. The main contribution of that framework is providing situation awareness in the domain of political disputes. To our knowledge, it is the first attempt for solving political disputes by crossing the gap between the looseness of political situations specifications and the tightness of logical formal methods. Other contributions include exploiting Communicating Sequential Processing, CSP, and the ‘fairness’ of Linear Temporal Logic, LTL, to provide ‘formal’ modeling for discovering ‘starvation’ and ‘deadlock’ situations. In this respect, the machine-based generation of the CSP processes that represents the situation model is an essential characteristic of the proposed framework. Actually, FISA is capable to answer questions about how to make ‘situation change(s)’ (based on fairness satisfaction) in order to ‘solve’ the no

Detailangaben zum Buch - Design of Formal Methods Approach to Resolve Disputes


EAN (ISBN-13): 9783659534164
ISBN (ISBN-10): 3659534161
Taschenbuch
Erscheinungsjahr: 2014
Herausgeber: LAP LAMBERT Academic Publishing

Buch in der Datenbank seit 2014-10-10T09:42:56+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-07-26T09:55:09+02:00 (Berlin)
ISBN/EAN: 9783659534164

ISBN - alternative Schreibweisen:
3-659-53416-1, 978-3-659-53416-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: design methods


< zum Archiv...