Books » Series » Advanced Computing & Telecommunications Series
By Polk, W. Timothy; Basham, Lawrence E.; Wack, John P.; Carnahan, Lisa J.
Anti-Virus Tools & Techniques for Computer .
School & Public Library Accounts - please log in
By Feigenbaum, Edward; Rich, Elaine; Wiederhold, Gio; Harrison, Michael
Advanced Software Applications in Japan .
By Adamson, Steven; Roberts, David; Schubert, LeRoy; Smith, Brian; Sogegian, Robert
Advanced Satellite Communications .
By Craigen, Dan; Gerhart, Susan; Ralston, Ted
Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. This title evaluates international industrial experience in using formal methods. It includes cases w...hich are representative of industrial-grade projects.Read more
By Clapp, Judith A.; Stanten, Saul F.; Peng, W. W.; Wallace, D. R.; Cerino, Deborah A.
Software Quality Control, Error, Analysis .
By Unknown, Author; Edelson, Burton I.; Pelton, Joseph N., Jr.
Satellite Communications Systems & Technology .
Subscribe now to be the first to hear about specials and upcoming releases.
Copyright © 2021 Wheelers Books
· All rights reserved