Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Methods

An Appetizer

Flemming Nielson

Hanne Riis Nielson

Limba

engleză

Carte Copertă tare

Codul Libristo: 20556405

Editura Springer Nature Switzerland AG, iulie 2019

This textbook is an introduction to the use of formal methods ranging from semantics of key programm... Descrierea completă

Codul Libristo: 20556405

142 b

307.85 lei

În depozitul extern Expediem în 10-13 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Photoshop: La guida completa per diventare un esperto nel fotoritocco digitale. Scopri tutte le tecniche per modificare immagini Daniel E. Miller

Carte broșată

70.15 lei

Mi Planeta Alcoholico Raul Garcia-Rosas

Adobe ePub DRM

24.07 lei

Der Gefürchtete, 2 Blu-ray (Mediabook Cover D) Roberto Mauri

Blu-ray

193.38 lei

Leer my lees (Vlak 3 Boek 14): Tippie speel hy is siek (Skooluitgawe) Reinette Lombard

Adobe ePub DRM

12.19 lei

This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balance between generality and conceptual complexity. The early chapters on program graphs and the Guarded Commands language are sufficient introduction for most readers to then enjoy a plug-and-play approach to the remaining chapters. These explain formal methods for analysing the behaviour of programs in various ways ranging from verification, via program analysis and language-based security, to model checking. The remaining chapters present language extensions with procedures and concurrency and cover their semantics. The book is suitable for advanced undergraduate and graduate courses in software development, and the text is supported throughout with exercises of varying grades of difficulty. The authors have developed an online learning environment that allows students to create examples beyond those covered in the main text, and in the book appendices they present programming projects aimed at implementing central parts of the development using the functional language F#.