Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Formal Methods for Software Engineering

Name: Formal Methods for Software Engineering
Brand: Springer Nature Switzerland AG
SKU: 25351972
Price: 43.19 EUR
Availability: InStock
Author: Markus Roggenbach
ISBN: 9783030387990

Languages, Methods, Application Domains

Markus Roggenbach

Antonio Cerone

Bernd-Holger Schlingloff

Gerardo Schneider

Siraj Ahmed Shaikh

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 25351972

Editoras Springer Nature Switzerland AG, junho 2022

This is a graduate-level introduction to formal methods. The first part presents two formal language... Descrição completa

Código Libristo: 25351972

104 b

43.19 €

Armazenamento externo Envio em 10-18 dias

Política de devolução de 30 dias

Os clientes também compraram

de l'Organisation de la Fraternite, Ou d'Une Constitution Sociale A Donner Aux Peuples Desjardins-G

Capa mole

15.67 €

Pâtisserie simplement naturelle Benoît Castel

Livro de capa dura

25.59 €

10 Ideen mit denen du die Umwelt schützen kannst Clarissa Corradin

Livro de capa dura

9.70 €

Si Jamais Sauzet

Capa mole

15.17 €

Koszulka na dokumenty A4 100 sztuk krystaliczna

Artigos de papelaria

2.22 €

Rodina a škola Pracovní sešit 2 Cemerková Golová Petra

Capa mole

1.61 €

Pozvání k překladatelské praxi Veronika Havlíková

Capa mole

7.48 €

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.