Sprache: Englisch
Verlag: IEEE Computer Society Press, 1997, XI + 328 PP., 1997
ISBN 10: 0818680024 ISBN 13: 9780818680021
Anbieter: Eryops Books, Stephenville, TX, USA
Soft Cover. Zustand: Very Good. Ex-library; minor shelfwear; o/w in very good condition.
Zustand: New.
Anbieter: Gallix, Gif sur Yvette, Frankreich
Zustand: Neuf.
Zustand: As New. Unread book in perfect condition.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Zustand: As New. Unread book in perfect condition.
Zustand: New.
Zustand: New.
Zustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New.
Zustand: New. pp. 436.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 51,70
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 436 Illus.
Zustand: As New. Unread book in perfect condition.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 48,25
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 44,32
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. pp. 436.
Zustand: New. pp. 189.
Sprache: Englisch
Verlag: Springer International Publishing AG, Cham, 2023
ISBN 10: 3031294750 ISBN 13: 9783031294754
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Erstausgabe
Paperback. Zustand: new. Paperback. This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification. . This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Zustand: As New. Unread book in perfect condition.
Zustand: As New. Unread book in perfect condition.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 47,26
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition.
Zustand: New.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 50,24
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 54,33
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 54,33
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
EUR 57,09
Anzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 52,68
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.