This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021.
The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification.
"Sinopsis" puede pertenecer a otra edición de este libro.
EUR 2,23 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoEUR 3,38 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoLibrería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020029587
Cantidad disponible: Más de 20 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: New. Nº de ref. del artículo: 43502544-n
Cantidad disponible: Más de 20 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 43502544
Cantidad disponible: Más de 20 disponibles
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. In. Nº de ref. del artículo: ria9783030774738_new
Cantidad disponible: Más de 20 disponibles
Librería: Chiron Media, Wallingford, Reino Unido
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783030774738
Cantidad disponible: 10 disponibles
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Condición: New. Nº de ref. del artículo: 43502544-n
Cantidad disponible: Más de 20 disponibles
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification.Due to the Corona pandemic this event was held virtually. 205 pp. Englisch. Nº de ref. del artículo: 9783030774738
Cantidad disponible: 2 disponibles
Librería: Books Puddle, New York, NY, Estados Unidos de America
Condición: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Nº de ref. del artículo: 26387481875
Cantidad disponible: 4 disponibles
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 43502544
Cantidad disponible: Más de 20 disponibles
Librería: Majestic Books, Hounslow, Reino Unido
Condición: New. Print on Demand. Nº de ref. del artículo: 393166540
Cantidad disponible: 4 disponibles