Formal methods software engineering de cerone antonio (55 resultados)
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 de 45. Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 37,67
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 de 45. Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 36,18
Envío por EUR 13,88Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 de 45. Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 49,19
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer 2022
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 de 45. Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 50,00
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 de 45. Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 36,16
Envío por EUR 17,38Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 de 45. Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 39,06
Envío por EUR 17,38Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer 2022
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 de 45. Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 45,95
Envío por EUR 13,88Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer 2022
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 de 45. Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,26
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer 2022
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 de 45. Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 45,94
Envío por EUR 17,38Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer 2022
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 de 45. Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 50,30
Envío por EUR 17,38Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 de 45. Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 66,70
Envío por EUR 3,46Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 de 45. Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: Majestic Books, Hounslow, , Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 63,94
Envío por EUR 7,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,60
Envío por EUR 13,88Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 de 45. Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,64
Envío por EUR 14,48Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 552 pages. 9.25x6.10x1.30 inches. In Stock.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 de 45. Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 62,56
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Antonio Cerone, Bernd-Holger Schlingloff, Markus Roggenbach, Gerardo Schneider, Siraj Ahmed Shaikh
Idioma: Inglés
Editorial: Springer 2023-07-07 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 de 45. Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: Chiron Media, Wallingford, , Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,11
Envío por EUR 17,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: New.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 66,72
Envío por EUR 13,88Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 69,33
Envío por EUR 10,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 80,49
Envío por EUR 3,46Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
- Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,67
Envío por EUR 10,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
- Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 86,30
Envío por EUR 9,10Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
- Tapa blanda
Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 86,29
Envío por EUR 14,48Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 340 pages. 9.25x6.10x0.77 inches. In Stock.
- Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 92,94
Envío por EUR 9,10Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 de 45. Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 96,41
Envío por EUR 14,48Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 552 pages. 9.25x6.10x1.30 inches. In Stock.
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 116,27
Envío por EUR 3,46Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 62,76Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021.The 21 contributed papers pre…sented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.SEFM 2021 presents the following four workshops:CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development.Due to the Corona pandemic this event washeld virtually.
Formal Methods for Software Engineering
Markus Roggenbach|Antonio Cerone|Bernd-Holger Schlingloff|Gerardo Schneider|Siraj Ahmed Shaikh
Idioma: Inglés
Editorial: Springer International Publishing 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 de 45. Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: moluna, Greven, , Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 67,49
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. Book suitable for graduate and undergraduate courses in Software EngineeringExplains foundations, introduces specification, verification, and testing methodsAuthors are all highly experienced educators and researchersAntonio C.
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,35
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops | CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers | Antonio Cerone (u. a.) | Taschenbuch | xi | Englisch | 2022 | Springer | EAN 9783031124280 | Verantwortliche Person für die EU: Sp…ringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,84
Envío por EUR 62,59Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering.
Más imágenes- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,80
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Software Engineering and Formal Methods | 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings | Frank de Boer (u. a.) | Taschenbuch | xiv | Englisch | 2020 | Springer | EAN 9783030587673 | Verantwortliche Person für die EU: Springer Verlag GmbH, Ti…ergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
