Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Formal Methods for Software Engineering Markus Roggenbach
Libristo kód: 25351972
Nakladatelství Springer Nature Switzerland AG, červen 2022
This is a graduate-level introduction to formal methods. The first part presents two formal language... Celý popis
? points 184 b
1 842 Kč
Skladem u dodavatele Odesíláme za 10-13 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

VIAJES MUY EXTRAORDINARIOS DE SATURNINO FARANDOUL. SU EXCELE ROBIDA / Kniha Brožovaná
common.buy 641 Kč
10 Ideen mit denen du die Umwelt schützen kannst Clarissa Corradin / Kniha Pevná
common.buy 251 Kč
Diagnostic stratégique - 7e éd. Olivier Meier / Kniha Brožovaná
common.buy 967 Kč
Vortice del Macbeth Lear, schiavo d'amore, AmletOne! Tre riscritture shakespeariane per Marcido Marcidorjs e Famosa Mimosa Marco Isidori / Kniha Brožovaná
common.buy 747 Kč
Rodina a škola Pracovní sešit 2 Cemerková Golová Petra / Kniha Brožovaná
common.buy 65 Kč
Le côté de la mer - quotidien et imaginaire aux îles Tonga, Polynésie occidentale Bataille-Benguigui Kniha Brožovaná
common.buy 833 Kč
Penser la monnaie et la finance avec Marx Orléan / Kniha Brožovaná
common.buy 582 Kč
Pâtisserie simplement naturelle Benoît Castel / Kniha Pevná
common.buy 722 Kč
Si Jamais Sauzet / Kniha Brožovaná
common.buy 415 Kč
Koszulka na dokumenty A4 100 sztuk krystaliczna / Papírenské zboží Papírenské zboží
common.buy 76 Kč
Las ciudades del absolutismo Víctor Manuel Mínguez Cornelles / Kniha Brožovaná
common.buy 940 Kč
de l'Organisation de la Fraternite, Ou d'Une Constitution Sociale A Donner Aux Peuples Desjardins-G / Kniha Brožovaná
common.buy 423 Kč
Pozvání k překladatelské praxi Veronika Havlíková / Kniha Brožovaná
common.buy 216 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Methods for Software Engineering
Autor Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2022
Počet stran 524
EAN 9783030387990
Libristo kód 25351972
Nakladatelství Springer Nature Switzerland AG
Váha 986
Rozměry 155 x 235 x 36

Kategorie

Výpočetní a informační technologie > Informatika
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Managing Employee Well-being and Resilience for Innovation Vidya S. Athota / Kniha Pevná
common.buy 2 923 Kč
Energy and Environmental Strategies in the Era of Globalization Muhammad Shahbaz / Kniha Pevná
common.buy 3 296 Kč
Levně
Learning Hebrew: A Guide to the Hebrew Language and Grammar Pirchei Shoshanim / Kniha Brožovaná
common.buy 145 Kč
Infectious Laryngo Tracheitis Virus in Chicken Puvarajan Boovalingam / Kniha Brožovaná
common.buy 5 492 Kč
Improving Sustainable Viticulture and Winemaking Practices Miguel Costa / Kniha Brožovaná
common.buy 4 543 Kč
The War and Elizabeth (1918) Mrs Humphry Ward / Kniha Brožovaná
common.buy 750 Kč
Our First Fun Day at Preschool! Victoria Trotman Smith / Kniha Brožovaná
common.buy 237 Kč
Top
Alfred Hitchcock. The Complete Films Paul Duncan / Kniha Pevná
common.buy 763 Kč
School of Grit Brad Ritter / Kniha Brožovaná
common.buy 358 Kč
Dime Show Review, Volume 2, Issue 2 Kae Sable / Kniha Brožovaná
common.buy 423 Kč
Unbelievable? BRIERLEY JUSTIN / Kniha Brožovaná
common.buy 328 Kč
Going Up the River Joseph T. Hallinan / Kniha Brožovaná
common.buy 373 Kč
Serious Thoughts Occasioned by the Late Earthquake at Lisbon. John Wesley / Kniha Brožovaná
common.buy 375 Kč
Del Svono De'Tremori Armonici E Dell'Vdito (1679) Daniello Bartoli / Kniha Brožovaná
common.buy 728 Kč
My Love Story!!, Vol. 2 Kazune Kawahara / Kniha Brožovaná
common.buy 230 Kč
Ragnar A.K. Frisch, Jan Tinbergen and Lawrence R. Klein Howard R. Vane / Kniha Pevná
common.buy 6 777 Kč
Walks and Rambles on Cape Cod and the Islands N. Friary / Kniha Brožovaná
common.buy 373 Kč
Project X Code: Pyramid Peril Into the Pyramid Tony Bradman / Kniha Brožovaná
common.buy 250 Kč
Graph Theory Adrian Bondy / Kniha Pevná
common.buy 1 268 Kč
Oxford IB Diploma Programme: Philosophy: Being Human Course Book Nancy Le Nezet / Kniha Brožovaná
common.buy 1 737 Kč
Highways and Hierarchies Galen Murton / Kniha Pevná
common.buy 4 594 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?