Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Formale Methoden für Software Engineering: Sprachen, Methoden, Anwendung

Ø 0.0

0 Bewertungen

33,91 €

It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. Use of notations and formalisms is uniform throughout the book. Markus Roggenbach is a Professor in the Dept. of Computer Science of Swansea University.Antonio Cerone is an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan.

Jetzt bei Ebay:

Zum Angebot *

EAN:

9783030388027
UPC:

9783030388027
ISBN:

9783030388027
Format:

Paperback, 524 pages, 2022 Edition
Author:

Markus Roggenbach
Book Title:

Formal Methods for Software Engineering: Languages
Item Height:

2.9 cm
Item Length:

23.4 cm
Item Weight:

0.77 kg
Item Width:

15.6 cm
Language:

Eng
Publisher:

Springer

Expressversand:

International Priority Shipping 11,71 EUR - Lieferung zwischen 21. August 2025 und 25. August 2025 (bei heutigem Zahlungseingang)
Versand nach:

Großbritannien, Österreich, Belgien, Bulgarien, Republik Kroatien, Zypern, Tschechische Republik, Dänemark, Estland, Finnland, Frankreich, Deutschland, Griechenland, Ungarn, Irland, Italien, Lettland, Litauen, Luxemburg, Malta, Niederlande, Polen, Portugal, Rumänien, Slowakei, Slowenien, Schweden, Australien, USA, Bahrain, Kanada, Brasilien, Japan, Neuseeland, China, Hongkong, Norwegen, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, Bangladesch, Belize, Bermuda, Bolivien, Barbados, Brunei Darussalam, Kaimaninseln, Dominica, Ecuador, Ägypten, Guernsey, Gibraltar, Guadeloupe, Grenada, Französisch-Guayana, Island, Jersey, Jordanien, Kambodscha, St. Kitts und Nevis, St. Lucia, Liechtenstein, Sri Lanka, Macau, Monaco, Malediven, Montserrat, Martinique, Nicaragua, Oman, Pakistan, Peru, Paraguay, Réunion, Turks- und Caicosinseln, Saudi-Arabien, Südafrika, Vereinigte Arabische Emirate, Ukraine, Chile, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Vietnam
Versand ausgeschlossen:

Isle of Man , Russische Föderation , Albanien , Andorra , Belarus , Spanien , Indonesien , Malaysia , Thailand , Israel , ... und weitere