Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Formal Methods for Software Engineering Markus Roggenbach
Libristo-code: 25351972
Uitgeverij Springer Nature Switzerland AG, juni 2022
This is a graduate-level introduction to formal methods. The first part presents two formal language... Volledige beschrijving
? points 122 b
50.22 €
In extern magazijn Wordt binnen 10-18 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

de l'Organisation de la Fraternite, Ou d'Une Constitution Sociale A Donner Aux Peuples Desjardins-G / Boek Gebonden (paperback)
common.buy 18.35 €
Pâtisserie simplement naturelle Benoît Castel / Boek Gebonden (harde band)
common.buy 30.96 €
10 Ideen mit denen du die Umwelt schützen kannst Clarissa Corradin / Boek Gebonden (harde band)
common.buy 10.98 €
Si Jamais Sauzet / Boek Gebonden (paperback)
common.buy 18.35 €
Koszulka na dokumenty A4 100 sztuk krystaliczna / Schrijfwaren Schrijfwaren
common.buy 2.81 €
Rodina a škola Pracovní sešit 2 Cemerková Golová Petra / Boek Gebonden (paperback)
common.buy 2.11 €
Pozvání k překladatelské praxi Veronika Havlíková / Boek Gebonden (paperback)
common.buy 8.26 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Methods for Software Engineering
Auteur Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2022
Aantal pagina's 524
EAN 9783030387990
Libristo-code 25351972
Uitgeverij Springer Nature Switzerland AG
Gewicht 986
Afmetingen 155 x 235 x 36

Categorieën

Informatica en informatietechnologie > Informatica
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

TOP
Learning Hebrew: A Guide to the Hebrew Language and Grammar Pirchei Shoshanim / Boek Gebonden (paperback)
common.buy 10.28 €
Infectious Laryngo Tracheitis Virus in Chicken Puvarajan Boovalingam / Boek Gebonden (paperback)
common.buy 60.31 €
Del Svono De'Tremori Armonici E Dell'Vdito (1679) Daniello Bartoli / Boek Gebonden (paperback)
common.buy 31.56 €
Our First Fun Day at Preschool! Victoria Trotman Smith / Boek Gebonden (paperback)
common.buy 10.28 €
Alfred Hitchcock. The Complete Films Paul Duncan / Boek Gebonden (harde band)
common.buy 35.29 €
Dime Show Review, Volume 2, Issue 2 Kae Sable / Boek Gebonden (paperback)
common.buy 18.35 €
Unbelievable? BRIERLEY JUSTIN / Boek Gebonden (paperback)
common.buy 12.09 €
Going Up the River Joseph T. Hallinan / Boek Gebonden (paperback)
common.buy 16.33 €
Improving Sustainable Viticulture and Winemaking Practices Miguel Costa / Boek Gebonden (paperback)
common.buy 198.80 €
Serious Thoughts Occasioned by the Late Earthquake at Lisbon. John Wesley / Boek Gebonden (paperback)
common.buy 16.23 €
TOP
My Love Story!!, Vol. 2 Kazune Kawahara / Boek Gebonden (paperback)
common.buy 9.87 €
Ragnar A.K. Frisch, Jan Tinbergen and Lawrence R. Klein Howard R. Vane / Boek Gebonden (harde band)
common.buy 275.66 €
Walks and Rambles on Cape Cod and the Islands N. Friary / Boek Gebonden (paperback)
common.buy 16.33 €
Project X Code: Pyramid Peril Into the Pyramid Tony Bradman / Boek Gebonden (paperback)
common.buy 11.59 €
Graph Theory Adrian Bondy / Boek Gebonden (harde band)
common.buy 55.36 €
Oxford IB Diploma Programme: Philosophy: Being Human Course Book Nancy Le Nezet / Boek Gebonden (paperback)
common.buy 82.80 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?