Wiley-Blackwell

Похожие книги

Stefania GnesiFormal Methods for Industrial Critical Systems

Marco Bernardo, Paola Inverardi, Paola Paola, Com International School on Formal Methods for the Design of ComputerFormal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, Sfm 2003 (Lecture Notes in Computer Science, 2804)

Saad Y.Iterative Methods for Sparse Linear Systems

• Howard Bowman, John Derrick, «Formal Methods for Distributed Processing»
• Shaoying Liu, «Formal Engineering for Industrial Software Development»
• Erozan M. Kurtas, «Advanced Error Control Techniques for Data Storage Systems: Error Control And Correction Methods for Data Storage Systems»

Видео о книгах: