Jonathan Jacky is a research scientist at the University of Washington in Seattle. He is experienced in embedded control systems, safety-critical systems, signal processing, and scientific computing. He has taught at the Evergreen State College and has been a visiting researcher at Microsoft Research. He is the author of The Way of Z: Practical Programming with Formal Methods.

Colin Campbell has worked on model-based testing and analysis techniques for a number of years in industry, including Microsoft Research. He is a principal of the consulting firm Modeled Computation LLC in Seattle (www.modeled-computation.com). His current interests include design analysis, the modeling of reactive and distributed systems, and the integration of components in large systems.

Margus Veanes is a researcher in the Foundations of Software Engineering (FSE) group at Microsoft Research and a co-designer and co-developer of the Spec Explorer tool.

Wolfram Schulte is a research area manager at Microsoft Research, managing the FSE group, the Programming Languages and Methods (PLM) group, and the Software Design and Implementation (SDI) group.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Internet used book store located in Queens, New York. We like people to be happy with the books they get from us. We sell our books at a good price, describe them accurately, and ship very fast. You can always contanct us concerning your purchase at academybooks@yahoo.com

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Academy Books Inc.
22-14 40th Avenue Suite 4R, Long Island City, NY, 11101, U.S.A.

Condiciones de venta:

PAYMENT OPTIONS

We gladly accept payment through abe's own payment system. We also accept credit
card payments, eChecks and instant transfers from bank accounts through
PAYPAL.

US Money-Orders and Checks are welcomed as well. However, customers who use
checks will have to wait for their checks to clear before their book is shipped.

REFUND POLICY

A refund will be offered to those buyers that return their book to us within 7
days from the time of delivery, as long as the book is in the same condit...

M�s informaci�n

Condiciones de env�o:

We ship via USPS media mail or Expedited mail domestic and First Class international mail. We ship on a daily basis.

M�todos de pago
aceptados por la librer�a