Formal Methods for Components and Objects

Two seemingly unrelated murders rock Washington DC. Only Oliver Stone and the Camel Club can make the connection.

From the #1 New York Times bestselling author of A Calamity of Souls comes David Baldacci’s newest novel, set in London in 1944, about a bereaved book shop owner and two teenagers scarred by the second world war, and the healing and hope they find in one another. Fourteen-year-old Charlie Matters is up to no good, but for a very good reason. Without parents, peerage, or merit, he steals what he needs, living day-to-day until he’s old enough to enlist to fight the Germans. After barely surviving the Blitz, Charlie knows there’s no telling when a falling bomb might end his life. Fifteen-year-old Molly Wakefield has just returned to a nearly unrecognizable London. One of millions of children to have been evacuated to the countryside Molly has been away from her home for nearly five years. Her return, however, is not the homecoming she’d hoped for as she’s confronted by a devastating reality: neither of her parents are there. Without guardians and stabili

From a #1 New York Times bestselling author, the 6:20 Man returns, this time sent to the Pacific Northwest to aid in a complicated FBI case—and he’s about to come face-to-face with his nemesis, the girl on the train. Travis Devine has become a pro at accomplishing any mission he's given. But this time it’s not his skills that send him to Seattle to aid the FBI in escorting orphaned, twelve-year-old Betsy Odom to a meeting with her uncle, who’s under federal investigation. Instead, he’s hoping to lay low and keep off the radar of an enemy–the girl on the train.But as Devine gets to know Betsy, questions begin to arise around the death of her parents. Devine digs for answers, and what he finds points to a conspiracy bigger than he could’ve ever imagined. It might finally be time for Devine and the girl on the train to come face-to-face. Devine is going to find out the difference between his friends and his enemies–and in some cases, they might well be both.

FBI Agent Atlee Pine's harrowing search for her long-lost sister Mercy reaches a boiling point in this breakneck thriller from #1 New York Times bestselling author David Baldacci. For her entire life, FBI agent Atlee Pine has been searching for her twin sister, Mercy, who was abducted at the age of six and never seen again. Mercy's disappearance left behind a damaged family that later shattered beyond repair when Atlee's parents inexplicably abandoned her.Now, after a perilous investigation that nearly proved fatal, Atlee has finally discovered not only the reason behind her parents' abandonment and Mercy's kidnapping, but also the most promising breakthrough yet: proof that Mercy survived her abduction and then escaped her captors many years ago.Though Atlee is tantalizingly close to her family at last, the final leg of her long road to Mercy will be the most treacherous yet. Mercy left at least one dead body behind before fleeing her captors years before. Atlee has no idea if her sis

FBI Agent Atlee Pine's harrowing search for her long-lost sister Mercy reaches a boiling point in this breakneck thriller from #1 New York Times bestselling author David Baldacci. For her entire life, FBI agent Atlee Pine has been searching for her twin sister, Mercy, who was abducted at the age of six and never seen again. Mercy's disappearance left behind a damaged family that later shattered beyond repair when Atlee's parents inexplicably abandoned her.Now, after a perilous investigation that nearly proved fatal, Atlee has finally discovered not only the reason behind her parents' abandonment and Mercy's kidnapping, but also the most promising breakthrough yet: proof that Mercy survived her abduction and then escaped her captors many years ago.Though Atlee is tantalizingly close to her family at last, the final leg of her long road to Mercy will be the most treacherous yet. Mercy left at least one dead body behind before fleeing her captors years before. Atlee has no idea if her sis

Memories can be a real killer Melvin Mars awaits his fate on Death Row. He was one of America's most promising football stars until, aged twenty-years-old, he was arrested and convicted for the murder

The President knows it's a perilous, high-risk assignment. If he gives the order, he has the opportunity to take down a global menace, once and for all. If the mission fails, he would face certain imp

The President knows it's a perilous, high-risk assignment. If he gives the order, he has the opportunity to take down a global menace, once and for all. If the mission fails, he would face certain imp

The highly skilled assassin who brought in a rogue assassin The Hit and who became a target himself when he refused a mission in The Innocent returns for his third adventure in the best-selling series

The highly skilled assassin who brought in a rogue assassin The Hit and who became a target himself when he refused a mission in The Innocent returns for his third adventure in the best-selling series

This edition of the "New York Times" bestseller--a heartwarming tale of humor, romance, and mystery by the bestselling author of "Split Second"--includes the brand-new short story, "Waiting for Santa

The Dream She is twenty, beautiful, dirt-poor, and hoping for a better life for her infant daughter when LuAnn Tyler is offered the gift of a lifetime, a $100 million lottery jackpot. All she has to

A man accused of burglary seems innocent . . . but in this #1 New York Times bestseller, two ex-Secret Service agents quickly learn that nothing is more dangerous than the truth.A woman is found murdered in the woods. It seems like a simple case, but soon escalates into a terrible nightmare. Someone is replicating the killing styles of the most infamous murderers of all time. No one knows this criminal's motives―or who will die next.Two ex-Secret Service agents, Sean King and Michelle Maxwell, have been hired to defend a man's innocence in a burglary involving an aristocratic family. Then a series of secrets leads the partners right into a frantic hunt that is confounding even the FBI. Now King and Maxwell are playing the Hour Game, uncovering one horrifying revelation after another and putting their lives in danger. For the closer they get to the truth, the closer they get to the most shocking surprise of all.

A cryptic murder pulls a former soldier turned financial analyst deep into the corruption and menace that prowl beneath the opulent world of finance, in #1 New York Times bestselling author David Baldacci’s new thriller.Every day without fail, Travis Devine puts on a cheap suit, grabs his faux-leather briefcase, and boards the 6:20 commuter train to Manhattan, where he works as an entry-level analyst at the city’s most prestigious investment firm. In the mornings, he gazes out the train window at the lavish homes of the uberwealthy, dreaming about joining their ranks. In the evenings, he listens to the fiscal news on his phone, already preparing for the next grueling day in the cutthroat realm of finance. Then one morning Devine’s tedious routine is shattered by an anonymous email: She is dead. Sara Ewes, Devine’s coworker and former girlfriend, has been found hanging in a storage room of his office building―presumably a suicide, at least for now―prompting the NYPD to come calling on h

A cryptic murder pulls a former soldier turned financial analyst deep into the corruption and menace that prowl beneath the opulent world of finance, in #1 New York Times bestselling author David Baldacci’s new thriller.Every day without fail, Travis Devine puts on a cheap suit, grabs his faux-leather briefcase, and boards the 6:20 commuter train to Manhattan, where he works as an entry-level analyst at the city’s most prestigious investment firm. In the mornings, he gazes out the train window at the lavish homes of the uberwealthy, dreaming about joining their ranks. In the evenings, he listens to the fiscal news on his phone, already preparing for the next grueling day in the cutthroat realm of finance. Then one morning Devine’s tedious routine is shattered by an anonymous email: She is dead. Sara Ewes, Devine’s coworker and former girlfriend, has been found hanging in a storage room of his office building―presumably a suicide, at least for now―prompting the NYPD to come calling on h

FBI Agent Atlee Pine’s harrowing search for her long-lost sister Mercy reaches a boiling point in this breakneck thriller from #1 New York Times bestselling author David Baldacci. For her entire life

In this gripping mystery from #1 New York Times bestselling author David Baldacci, an FBI Agent’s search for her sister clashes with a military investigator's high-stakes case, leading them both deep

FBI Agent Atlee Pine's search for her sister Mercy clashes with military investigator John Puller's high-stakes case, leading them both deep into a global conspiracy -- from which neither of them will

A Minute to Midnight is the next gripping instalment in Special Agent Atlee Pine's search for the truth from one of the world's most favourite thriller writers, David Baldacci.‘My sister was abducted

The #1 New York Times bestselling author David Baldacci introduces a new, unforgettable character: Archer, a straight-talking former World War II soldier fresh out of prison for a crime he didn't comm

The #1 New York Times bestselling author David Baldacci introduces an unforgettable new character: Archer, a straight-talking former World War II soldier fresh out of prison for a crime he didn't comm

A beloved holiday classic from the #1 bestselling author David Baldacci--available now in mass market for a limited time!Disillusioned journalist Tom Langdon must get from Washington, D.C., to L.A. in

In a secluded house not far from Washington, D.C., the FBI is interviewing one of the most important witnesses it has ever had: a young woman named Faith Lockhart. For Faith has done too much, knows t

Disillusioned journalist Tom Langdon must get from Washington to LA in time for Christmas. Forced to take the train across the country because of a slight 'misunderstanding' at airport security, he be

His family was murdered. The hunt for the killer begins.Amos Decker would forever remember all three of their violentdeaths in the most paralyzing shade of blue. It would cut into him atunpredictable

Military CID investigator, John Puller, has returned from his latest case in Florida to learn that his brother, Bobby, on death row at Leavenworth Military Prison for national security crimes, has esc

The #1 New York Times bestselling fantasy novel for all ages by master storyteller David Baldacci -- now in paperback! Why would Quentin Herms flee into the Quag? There was nothing in the Quag except

Disillusioned journalist Tom Langdon must get from Washington to L.A. in time for Christmas. Forced to take the train across the country because of a slight "misunderstanding" at airport security, he

Private Investigator and ex-World War II veteran Aloysius Archer heads to Los Angeles, the city where dreams are made and shattered, and is ensnared in a lethal case in this latest thriller in #1 New York Times bestselling author David Baldacci’s Nero Award-winning series.

After witnessing a shocking murder, four conspiracy theorists team up with a Secret Service agent to uncover the government corruption that threatens to cause an international terrorism crisis in this New York Times bestselling thriller. Welcome to THE CAMEL CLUB. Existing at the fringes of Washington, D.C., the Club consists of four eccentric members. Led by a mysterious man known as "Oliver Stone," they study conspiracy theories, current events, and the machinations of government to discover the "truth" behind the country's actions. Their efforts bear little fruit--until the group witnesses a shocking murder . . . and becomes embroiled in an astounding, far-reaching conspiracy. Now the Club must join forces with a Secret Service agent to confront one of the most chilling spectacles ever to take place on American soil--an event that may trigger the ultimate war between two different worlds. All that stands in the way of this apocalypse is five unexpected heroes.

Aloysius Archer, the straight-talking World War II veteran fresh out of prison, returns in this riveting #1 New York Times bestselling thriller from David Baldacci.The 1950s are on the horizon, and Ar

Two Secret Service agents sworn to guard their protectees lost them in a single moment . . . and in this #1 New York Times bestseller, they're about to learn that the violence has just begun.Michelle

A heart-racing thriller featuring Sean King and Michelle Maxwell from the number one international bestselling author, David Baldacci.

Detective Amos Decker discovers that a mistake he made as a rookie detective may have led to deadly consequences in this compelling Memory Man thriller by #1 New York Times bestselling author David Baldacci.Decker is visiting his hometown of Burlington, Ohio, when he's approached by a man named Meryl Hawkins. Hawkins is a convicted murderer. In fact, he's the very first killer Decker ever put behind bars. But he's innocent, he claims. Now suffering from terminal cancer, it's his dying wish that Decker clear his name.It's unthinkable. The case was open and shut, with rock solid forensic evidence. But when Hawkins turns up dead with a bullet in his head, even Decker begins to have doubts. Is it possible that he really did get it wrong, all those years ago?Decker's determined to uncover the truth, no matter the personal cost. But solving a case this cold may be impossible, especially when it becomes clear that someone doesn't want the old case reopened. Someone who is willing to kill to k

THIS. MEANS. WAR. The explosive conclusion to David Baldacci's instant #1 worldwide bestselling and award-winning fantasy series.From the beginning, the fight was coming. Vega Jane fought her way out

In Simple Genius, David Baldacci returns to the main characters from bestsellers Split Second and Hour Game. Former secret service agents Sean King and Michelle Maxwell must overcome their personal de

David Baldacci's First Family is the fourth gripping New York Times bestseller in the King and Maxwell series. The President's niece is missing. Former secret service agents Sean King and Michelle M

Murder and family secrets, a touch of romance and deeply-felt revenge - with the twist of all twists - make up the perfect page-turning thriller, One Good Deed, from one of the world's bestselling thr

A powerful defense contractor, a reluctant intelligence agent, and an ambitious journalist race to contain and control an international crisis that could destroy the world in this #1 New York Times be

Murder and family secrets, a touch of romance and deeply-felt revenge – with the twist of all twists – make up the perfect page-turning thriller, One Good Deed.For all those who love mystery, crime, R