Cabinet Hardware
Picture Frames Thank you browsing our Book store
We hope you have found a book or 2.
Please come back again
as our Book list continues to grow.
Woodworking
Tool Woodworking
Book Store





Tool Book Store > Tool books beginning with A

Abstract State Machines : A Method for High-Level System Design and Analysis

Egon Boerger

ToolAbstract State Machines : A Method for High-Level System Design and Analysis
Published: 04 June, 2003
Our price:
List price:

As of: August 21st, 2008 11:24:14 PM

Author: Egon Boerger

Search for products like

Abstract State Machines : A Method for High-Level System Design and Analysis


Search:
Keywords:
Amazon Logo

Interesting Outcomes Emerge in WA Primary
Votes continue to be counted following Washington State’s primary on Tuesday. And political-watchers are noticing some interesting outcomes. Especially in races other than the high-profile governor’s election. Olympia Correspondent Austin Jenkins reports.


Washington Looks to Oregon on Medical Marijuana Rules
The State of Washington is seeking to clarify its medical marijuana law. So far, the law only says patients can’t have more marijuana than they need for sixty days. No exact amount is mentioned. Now the Washington Department of Health is looking to Oregon for guidance.


Thirtymile Fire Boss to Serve Time
A federal judge in Spokane has sentenced a former Forest Service fire commander to three months time. Ellreese Daniels had pleaded guilty to lying to a team investigating the Thirtymile forest fire in central Washington in 2001. Four firefighters died in that fire when they were overrun by flames. Doug Nadvornick reports.


WA Top-Two Primary: Preview for Oregon?
Washington voters got their first chance to try out the state’s Top Two primary system Tuesday. Oregonians this November will decide whether to follow Washington’s lead in adopting the system. Chris Lehman looks at how Washington’s experience will inform the political debate over the measure in Oregon.


Alaska Airline to Retire Last MD-80 Jets Next Week
If you’ve flown on Alaska Airlines in recent years, chances are you’ve ridden on an MD-80 jet. Late next week, the Seattle-based airline is retiring the last of that aging model from its fleet. Correspondent Tom Banse has the reason why.


U of I and AREVA: Improve Radioactive Waste Recycling
Improved radioactive waste recycling is the goal of a shared technology agreement signed by The University of Idaho with AREVA, Inc, a leading U.S. nuclear vendor. Glenn Mosley reports.


The Walla Walla Valley is Changing from Wheat to Wine
Wheat farmers have been harvesting grain in the Walla Walla Valley for more than a century. But lately vineyards and ritzy housing developments are taking over those productive, golden fields. Some say Walla Walla Valley is in danger of losing what attracts tourists and new residents -- its rural charm. Correspondent Anna King visited a few of those plush vineyards and dusty wheat farms in Washington and Oregon to bring us this story.


Washington’s First West Nile case of 2008 Reported
One week after Oregon reported its first human cases of West Nile virus in 2008, Washington State has its first case. The infection of a King County woman was uncovered in an unusual way. Tom Banse reports.


Top Two Primary Changes Political Landscape
Washington State’s political landscape changed overnight. For the first time, candidates from the same political party will face off in the general election. That’s because of the state’s new top-two primary – where the top vote getters advance to the November ballot regardless of party affiliation. Austin Jenkins has this analysis.


Primary Day in WA State
It’s primary day in Washington State. But few voters are going to the polls. The vast majority will cast their ballots by mail. This is the first time in Washington two candidates from the same party may advance to the general election. Olympia Correspondent Austin Jenkins explains.


Oregon Governor Renews Affirmative Action Push
Oregon government agencies will face increased scrutiny over whether they’re reaching state affirmative action goals. That was the message Governor Ted Kulongoski had today for leaders of those agencies. Salem Correspondent Chris Lehman has more:


Hanford’s F Reactor Gets a Check-up
The Hanford site in southeast Washington is home to nine closed reactors that once made plutonium for atomic bombs. The ghostly buildings along the Columbia River are isolated and get few visitors. One of the oldest of the reactors just got a checkup to make sure nothing has gotten in or out. Anna King reports on whether anything was found amiss.


Voter Drive Attempts to Sign up Pets, Dead People
It’s the time of year when political campaigns and special-interest groups are trying to sign people up to vote. But some attempts to register voters have missed the mark. Chris Lehman explains.


Obama's Oregon Strategy: Voter Registration
Barack Obama’s campaign is trying to register 100-thousand new Democrats in Oregon, and to train hundreds of volunteer campaign workers.


Democratic Lawyer: Lawsuit over Top Two Primary Possible
The format of Washington State’s new top-two primary system may trigger another round of lawsuits. That’s according to a top Democratic Party attorney. Tomorrow is primary day in Washington. Olympia Correspondent Austin Jenkins reports.


Northwest Olympians in Action
At least a dozen Northwest Olympians have a chance to win medals during the second week of the Beijing Olympics. Correspondent Doug Nadvornick has this rundown.


Fixing the Forest After a Wildfire
The largest wildfire in the Northwest has been fully contained. But fire crews aren’t done with their work. Now they’re rehabbing the 22-thousand acres that have burned on the Colville Indian Reservation in northeastern Washington. Correspondent Doug Nadvornick reports.


WSU's CUB Renovation Complete
Following a big renovation project, the Compton Student Union Building is back open for business at Washington State University in Pullman. Glenn Mosley has more.


Rossi Tamps Down Expectations on Eve of Primary
Tuesday’s Washington State primary won’t decide the Governor’s race. Even so the stakes are high for the top Republican and Democratic candidates. Whichever candidate wins the most votes will gain some important bragging rights. While the loser may have some explaining to do. Olympia Correspondent Austin Jenkins reports.


Airlines Cutting Service to Northwest Communities
Higher fuel costs mean it’s getting harder to find a seat on a flight out of town in many Northwest communities. Another round of airline cuts is set to take effect this fall in places like Spokane, Boise and Klamath Falls. Chris Lehman took a ride on one of the flights that’s being grounded to see how travelers are reacting to the changes.


Seattle Area Risks Joining Federal ‘Bad Air’ List
Seattle may join Boise as the second Northwest metro area in violation of federal clean air standards. The standards got tougher earlier this year. The greater Seattle area is under a smog watch for the second time this month.


Big Fire Weekend?
Forecasters are calling for extremely high temperatures around the Northwest this weekend. They’ve issued heat advisories on both sides of the Cascades. They also warn of the potential for thunderstorms, especially in mountainous areas. That could mean more wildfires. Correspondent Doug Nadvornick reports.


Firefighting Crash Victims Remembered; Investigation Continues
Around four thousand people attended a memorial service near Medford today for the victims of a terrible firefighting accident. Seven forest firefighters and a pilot from Southern Oregon died in a helicopter crash earlier this month. A Forest Service worker based in Redding, CA died as well. Correspondent Tom Banse has more on the service and the on-going investigation.


Supporters of WA Assisted Suicide Decry Catholic Money
Sponsors of Washington State’s assisted suicide ballot measure are criticizing the Catholic Church. They say church contributions to defeat I-1000 should instead go to victims of sex abuse within the church.


Lawmakers Get an Earful from Small-Town Officials over Ethics Law
How do you hold politicians accountable? One way is to prevent or expose conflicts of interest. To do that, the Oregon legislature passed a sweeping ethics package last year. But now lawmakers say they’ll revisit the issue in their next session. This after a slew of resignations by officials in small Oregon communities. Some of those officials gave lawmakers a piece of their mind at a hearing in Pendleton yesterday. Correspondent Chris Lehman was there and filed this report:


Robbing Peter to Pay Smokey
Knock on wood, it’s been a rather sedate wildfire season in the Northwest. But California’s forests are burning up. The Forest Service is transferring 42 million dollars from the Northwest to help with the firefighting down south. Correspondent Doug Nadvornick reports.


Assisted Suicide Issue Heats up in WA
The Catholic Church has begun pouring money into the campaign to defeat Washington’s Death with Dignity ballot initiative. This is the Oregon-style measure that would allow doctors to prescribe lethal doses of drugs to terminally ill patients. Olympia Correspondent Austin Jenkins reports.


Spokane Uranium Workers Eligible for Compensation
Sick former Hanford workers are eligible for compensation. So are the former employees of a now defunct uranium mine on the Spokane Indian Reservation. Correspondent Doug Nadvornick reports federal caseworkers were taking claims in Spokane on Wednesday.


December Flood/Windstorm Lessons Parsed
Eight months ago, a ferocious windstorm and flooding pummeled western Washington and northwest Oregon. Now that it’s hot and sunny, officials are taking a timeout to look at what worked and didn’t work during the disaster. Correspondent Tom Banse reports from Olympia.


OR: Federal Free Trade Blamed for Job Loss
Thousands of high-paying Oregon jobs were lost due to Federal Free Trade policies. That’s according to the Oregon Fair Trade Campaign, who released a report today detailing how the forest products industry was affected. Becca Bartleson reports.


WSU and U of I Merge Food Sciences
The Food Science Departments at the University of Idaho and Washington State University are merging to create one, new, academic unit. Glenn Mosley reports.


Young Hunters in the Crosshairs
Prosecutors in northwest Washington will charge a 14-year-old boy with manslaughter. The boy fatally shot a female hiker while he was bear hunting with a teenage companion on August 2. The Skagit County prosecutor says the shooting was an accident, but the young man acted recklessly. Correspondent Doug Nadvornick reports the case could lead to changes in Washington law.


Hanford Reach Managers Plan to Allow More Access
Will the sound of the Hanford Reach National Monument be the rustle of wind through sagebrush or the ka-pow of a rifle? The U.S. Fish and Wildlife released its final management plan Monday for the Reach. It’s a swath of untouched land roughly double the size of Portland. The challenge for federal managers is balancing the desires of people who want it completely open for recreation and those that want it protected. Correspondent Doug Nadvornick reports.


WA State Workers Rally for Pay Raise; Political Controversy Brews
Unionized Washington State employees are demanding a pay raise from the Governor and legislature. Workers rallied at the state capitol today as contract negotiations enter the home stretch.


WA State’s Unemployment Rate Rises
It’s another sign the Northwest economy is weakening. Washington State’s unemployment rate has risen to five-point-seven percent – up more than a percentage point from a year ago.


Falconry Takes Flight as a Business
Falconry used to be just a sport, chiefly for people with a lot of money or a lot of time. But a handful of master falconers around the Northwest are finding their birds of prey can be quite useful to make a living. Correspondent Tom Banse explains why the federal government recently changed the rules of the game to encourage falcons-for-hire.


Obama and McCain Campaigns Plot Strategy for Winning NW
A blend of hi-tech AND old-fashioned grassroots organizing. That’s how the Barack Obama and John McCain presidential campaigns intend to win in the Northwest this November. The Obama campaign today outlined its strategy for carrying Washington State. Olympia Correspondent Austin Jenkins reports.


Kennewick Company Working on New Way to Capture Sun’s Energy
Think solar energy, and you probably visualize those huge shiny panels. A company in sunny Eastern Washington has come up with a new way to make energy from the sun. The engineers’ device looks like a giant satellite dish, plastered with mirrors. Richland Correspondent Anna King profiles Infinia Corporation. It’s just one of a number of Northwest companies trying to capitalize on the popularity of renewable energy.


Northwest Fire Roundup
Crews in the three Northwest states are racing the weather this week as they battle ten wildfires. Correspondent Doug Nadvornick has this roundup.


Olympic Pride Still Strong
The track and field events begin Friday at the Beijing Olympics. A particular group of people will be paying close attention: the athletes who competed at last weekend’s U-S-A Masters’ Track and Field Championships in Spokane. Two of them with Northwest ties competed in previous Olympics and reminisced about their Olympic experiences with correspondent Doug Nadvornick.


Coeur d’Alene Offers Free Transit in High Fuel Times
Climb aboard a CityLink bus in Coeur d’Alene, Idaho and you notice something missing: a fare box. You can get on and ride all day without dropping a dime. Free public transit is rare these days. A growing number of North Idaho residents tired of paying four bucks a gallon for gas are taking advantage of it. Coeur d’Alene correspondent Doug Nadvornick reports.


Solar Highway Tested in Oregon
A small stretch of Oregon highway is home to a pilot program for solar energy. As Andrew Theen reports, Oregon Governor Ted Kulongoski and energy leaders say it's the first large-scale solar powered highway in the country.


Umatilla Chemical Depot Reaches Another Milestone
Every couple of months The Umatilla Chemical Depot in north-east Oregon announces another milestone. Its mission is to destroy dangerous chemicals produced during World War II and the Cold War. This week depot workers have finished dismantling small cannon shells filled with nerve agent. Richland Correspondent Anna King talked with the depot’s operation manager about what it’s like to be in charge of one of America’s most dangerous factories.


Allegiant Air Adding Service While Other Airlines Make Cuts
At a time when many airlines are cutting flights, Allegiant Air is adding service to Eugene. KLCC’S Rachael McDonald reports.