«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Idioma InglésInglés
Libro Tapa dura
Libro Formal Methods for Software Engineering Markus Roggenbach
Código Libristo: 25351972
Editores Springer Nature Switzerland AG, junio 2022
This is a graduate-level introduction to formal methods. The first part presents two formal language... Descripción completa
? points 130 b
53.09 €
Almacenamiento externo Envío en 10-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Pâtisserie simplement naturelle Benoît Castel / Libro Tapa dura
common.buy 30.99 €
VIAJES MUY EXTRAORDINARIOS DE SATURNINO FARANDOUL. SU EXCELE ROBIDA / Libro Tapa blanda
common.buy 25.79 €
10 Ideen mit denen du die Umwelt schützen kannst Clarissa Corradin / Libro Tapa dura
common.buy 12.29 €
Rodina a škola Pracovní sešit 2 Cemerková Golová Petra / Libro Tapa blanda
common.buy 2.09 €
Si Jamais Sauzet / Libro Tapa blanda
common.buy 18.19 €
Koszulka na dokumenty A4 100 sztuk krystaliczna / Artículos de papelería Artículos de papelería
common.buy 3.09 €
de l'Organisation de la Fraternite, Ou d'Une Constitution Sociale A Donner Aux Peuples Desjardins-G / Libro Tapa blanda
common.buy 19.09 €
Pozvání k překladatelské praxi Veronika Havlíková / Libro Tapa blanda
common.buy 8.79 €

This is a graduate-level introduction to formal methods. The first part presents two formal languages: logic, in various forms, and Communicating Sequential Process (CSP) as a process algebra. The second part offers specification and testing methods for formal development of software. Building on the foundations from the first part, the reader is allowed to embrace methods for practical applications. The reader will find the examples cutting across chapters valuable for this purpose. The final section takes the reader further into application domains.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Formal Methods for Software Engineering
Autor Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2022
Número de páginas 524
EAN 9783030387990
Código Libristo 25351972
Editores Springer Nature Switzerland AG
Peso 986
Dimensiones 155 x 235 x 36

Categorías

Computación e informática > Ciencias de la computación
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Económico
Learning Hebrew: A Guide to the Hebrew Language and Grammar Pirchei Shoshanim / Libro Tapa blanda
common.buy 5.89 €
Infectious Laryngo Tracheitis Virus in Chicken Puvarajan Boovalingam / Libro Tapa blanda
common.buy 66.79 €
Del Svono De'Tremori Armonici E Dell'Vdito (1679) Daniello Bartoli / Libro Tapa blanda
common.buy 32.79 €
Popular
Alfred Hitchcock. The Complete Films Paul Duncan / Libro Tapa dura
common.buy 32.59 €
Improving Sustainable Viticulture and Winemaking Practices Miguel Costa / Libro Tapa blanda
common.buy 205.09 €
Dime Show Review, Volume 2, Issue 2 Kae Sable / Libro Tapa blanda
common.buy 19.19 €
Unbelievable? BRIERLEY JUSTIN / Libro Tapa blanda
common.buy 12.69 €
Going Up the River Joseph T. Hallinan / Libro Tapa blanda
common.buy 17.09 €
Our First Fun Day at Preschool! Victoria Trotman Smith / Libro Tapa blanda
common.buy 10.69 €
Serious Thoughts Occasioned by the Late Earthquake at Lisbon. John Wesley / Libro Tapa blanda
common.buy 16.89 €
Popular
My Love Story!!, Vol. 2 Kazune Kawahara / Libro Tapa blanda
common.buy 11.39 €
Ragnar A.K. Frisch, Jan Tinbergen and Lawrence R. Klein Howard R. Vane / Libro Tapa dura
common.buy 291.29 €
Walks and Rambles on Cape Cod and the Islands N. Friary / Libro Tapa blanda
common.buy 17.09 €
Project X Code: Pyramid Peril Into the Pyramid Tony Bradman / Libro Tapa blanda
common.buy 12.19 €
Graph Theory Adrian Bondy / Libro Tapa dura
common.buy 60.89 €
Oxford IB Diploma Programme: Philosophy: Being Human Course Book Nancy Le Nezet / Libro Tapa blanda
common.buy 79.99 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?